ClassAssertion axioms - imports included
Axioms
⇦ (1-30 of 3107) ⇨-
Rescue_
of_ : included some (Omega
Capture
and (of value Bad_Batch )
and (orderedBy value Wilhuff_Tarkin )) Bad Batch -
Announcement_
of_ : Communication Bad Batchcurfew_ on_ Raxus -
Rescue_
of_ : of some (memberOf value Free_the_ Syndullas Ryloth_ ) Bad BatchMovement -
Chase_
of_ : participant some (hadRole some Trooper) Bad BatchCC-5576 -
Massacre_
on_ : included some (Onderon
Killing
and (of some (hadRole some Civilian))
and (of some (memberOf value Onderon_rebels ))) Bad Batch -
Retrieve_
a_ : for some Tactical_tactical_ droid Droid Bad Batch -
Rescue_
Hera_ : included some (from_ Orn
Injury
and (of value Orn_Free_ )Taa
and (participant value Crosshair)) Bad Batch -
Shooting_
down_ : witnessedBy some (memberOf value Free_Ryloth_ smugglers Ryloth_ ) Bad BatchMovement -
Mission_
to_ : included some (Onderon
Destruction
and (of some Probe_Droid )) Bad Batch -
Rescue_
Muchi : Job Bad Batch -
Tricking_
Todo_ : Escape Bad Batchinto_ escape -
Escape_
from_ : Escape Bad BatchTipoca_ City -
Hiding_
out_ : included some (with_ Cut
Game
and (included some (
Attack
and (participant some Nexu)))
and (participant value Jek_Lawquane )
and (participant value Omega)
and (participant value Shaeeah_Lawquane )) Bad Batch -
Salvaging_
on_ : included some (Bracca
Escape
and (included some (
Destruction
and (of some Engine)))
and (included some (
Injury
and (of value Crosshair)))
and (of value Echo)
and (of value Hunter)
and (of value Tech)
and (of value Wrecker)) Bad Batch -
Rescue_
of_ : included some (Hunter
Fight
and (participant some (
Droid
and (hadPurpose some Training_purpose )))
and (assistedBy value Omega)) Bad Batch -
Rescue_
Muchi : participant some Brezak Bad Batch -
Battle_
of_ : participant some AT-TE Bad BatchKaller -
Rescue_
of_ : included some (Hunter
Confrontation
and (included some (
Killing
and (of some (memberOf value Crosshairs_Squad ))))
and (included some (
Rescue
and (of value Hunter)))
and (participant value Crosshair)) Bad Batch -
Testing_
of_ : included some (Clone_ Force_ 99
Trial
and (included some (
Injury
and (of value Wrecker)))
and (included some (
Killing
and (of some Droid)))
and (orderedBy value Wilhuff_Tarkin )
and (survivedBy value Bad_Batch )
and (witnessedBy value Lama_Su )) Bad Batch -
Retrieve_
a_ : participant some (tactical_ droid
{Trace_Martez }
and (disguisedAs some Worker)) Bad Batch -
Crash_
on_ : included some (Ordo_ Moon
Repair
and (of value Marauder)) Bad Batch -
Retrieve_
a_ : Job Bad Batchtactical_ droid -
Crash_
on_ : included some (Ordo_ Moon
Stealing
and (of some Parts)
and (participant some Ordo_Moon_ )Dragon
and (from value Bad_Batch )) Bad Batch -
Spying_
on_ : included some (the_ refinery
Capture
and (of value C1-10P)
and (of value Hera_Syndulla )) Bad Batch -
Order_
66 : included some (
Killing
and (of some (hadRole some Jedi))
and (at value Tipoca_City )) Bad Batch -
Supply_
Run_ : included some (to_ Pantora
Repair
and (of value Marauder)) Bad Batch -
Mission_
to_ : not (included some Fight) Bad BatchOnderon -
Crash_
on_ : Crash Bad BatchOrdo_ Moon -
Battle_
of_ : included some (Kaller
Search
and (included some (
Escape
and (of value Caleb_Dume )))
and (for value Caleb_Dume )
and (participant value Crosshair)
and (participant value Hunter)) Bad Batch -
Rescue_
of_ : included some (Gregor
Fight
and (included some (
Injury
and (of value Gregor)))
and (participant some (hadRole some StormTrooper))) Bad Batch