(=> (instance ?BATTLE Battle) (exists (?ATTACK) (and (instance ?ATTACK Attack) (subProcess ?ATTACK ?BATTLE))))
Next unparented: attribute Up: unparented Previous unparented: agent