(note TQB83b) (abort) (consistent (deviceUsed HYP-BlockingTraffic-55455899 (SKF-9578001))) (instance (SKF-9578001) BallisticMissile) (subclass BallisticMissile Weapon) (relationInstanceExistsMany possesses Iran BallisticMissile) (implies (and (instance ?AGENT GeographicalAgent) (agent ?ATTACK ?AGENT) (instance ?ATTACK AttackOnTangible) (deviceUsed ?ATTACK ?WEAPON) (instance ?WEAPON ?WEAPONTYPE) (subclass ?WEAPONTYPE Weapon)) (relationInstanceExistsMany possesses ?AGENT ?WEAPONTYPE)) (subclass BallisticMissile Weapon) (instance (SKF-9578001) BallisticMissile) (deviceUsed (SKF-33611041) (SKF-9578001)) (instance Iran GeographicalAgent) (agent (SKF-33611041) Iran) (instance (SKF-33611041) AttackOnTangible) (query (findall ?WEAPON-TYPE (implies (and (instance ?ACT BlockingTraffic) (objectActedOn ?ACT SuMedPipeline) (agent ?ACT Iran)) (or (and (subclass ?WEAPON-TYPE Weapon) (relationInstanceExistsMany possesses Iran ?WEAPON-TYPE) (thereExists ?WEAPON (and (instance ?WEAPON ?WEAPON-TYPE) (consistent (deviceUsed ?ACT ?WEAPON))))) (and (subclass ?TYPE Object) (thereExists ?MEANS (and (instance ?MEANS ?TYPE) (consistent (instrument-Generic ?ACT ?MEANS))))))) )) (answer BallisticMissile) (end_of_file)