Du beziehst dich anscheinend auf "Kangoku Senkan" ("Prison Battleship") von 2009... Nein, diese OVA ist soviel ich weiß eine eigenständige Serie und zählt nicht zur "Taimanin Asagi"-Reihe. Jedoch führte auch bei dieser Serie "Teruaki Murakami" die Regie, das Character-Design, die Schlüssel-Animationen, die Animations-Regie, uvm. Daher auch die vielen Gemeinsamkeiten und/oder Parallelen...
Zur Taimanin-Reihe gehören:
"Taimanin Asagi" (4-teilige OVA / 2007)
"Taimanin Asagi: Tokuten Eizou" (Bonus OVA / 2009 / Nebengeschichte)
"Makai Kishi Ingrid" (4-teilige OVA / 2009 / Gemeinsames Universum)
"Koutetsu no Majo Annerose" (4-teilige OVA / 2012 / Gemeinsames Universum)
"Taimanin Yukikaze" (3-teilige OVA / 2013 / Gemeinsames Universum)
"Taimanin Asagi 2" (2-teilige OVA / 2015 / Fortsetzung)
"Taimanin Asagi 3" (2-teilige OVA / 2016 / Fortsetzung)