All axioms - imports included
-
Arrest_
of_ : Capture Bad BatchLama_ Su -
Announcement_
of_ : included some (curfew_ on_ Raxus
Capture
and (of value Avi_Singh )) Bad Batch -
Massacre_
on_ : Attack Bad BatchOnderon -
Rescue_
Muchi : included some (
Fight
and (included some (
Stunning
and (of value Muchi)))
and (victoryOf value Wrecker)) Bad Batch -
Rescue_
Muchi : included some (
Capture
and (of value Bad_Batch )) Bad Batch -
Attack_
on_ : Attack Bad Batchthe_ Ryloth_ Refinery -
Escape_
from_ : included some (Bora_ Vio
Communication
and (participant value Bad_Batch )
and (participant value Omega)) Bad Batch -
Rescue_
of_ : included some (Hunter
Escape
and (of value ES-02)) Bad Batch