Ich interpretiere das so wie die App. Nachdem Basilisk die Armee blockiert, ist sie nicht vorhanden und auch ihr Bonus "hebt das Wort Armee auf" kann nicht gelten. Insofern bleibt der Zeppelin blockiert. Würde ich sagen...
Hatte ich zunächst auch so vermutet, aber in der Anleitung steht, dass zuerst die Karten Anwendung finden, die Strafen oder Teile von Strafen aufheben. Und dann erst die verbliebenen Strafen.
Das wird auf BGG übrigens hier behandelt: BoardGameGeek
und es stimmt, wie du es sagst. Sollte allerdings im Update der App bereits bereinigt sein, insofern seltsam.