All axioms - imports included
-
Escape_
from_ : Escape Bad BatchTipoca_ City -
Escape_
from_ : used some Escape_Bora_ Vio Pod Bad Batch -
Escape_
from_ : included some (Bora_ Vio
Job
and (orderedBy value Nala_Se )
and (participant value Fennec_Shand )) Bad Batch -
Hera_
asks_ : Communication Bad BatchOmega_ for_ help