All axioms - imports included
-
Escape_
from_ : included some (Bora_ Vio
Communication
and (participant value Bad_Batch )
and (participant value Omega)) Bad Batch -
Rescue_
Muchi : included some (
Fight
and (included some (
Stunning
and (of value Muchi)))
and (victoryOf value Wrecker)) Bad Batch