(note TQC32) (goalCategoryForAgent Iran (pathState BabElMandeb-Strait PathBlocked) StrategicNationalInterest) (subAttribute StrategicNationalInterest StrategicInterest) (implies (and (subAttribute ?SPEC ?GEN) (goalCategoryForAgent ?AGT ?GOAL ?SPEC)) (goalCategoryForAgent ?AGT ?GOAL ?GEN)) (implies (and (instance ?COUNTRY Country) (considersAsEnemy ?COUNTRY ?ENEMY) (exportsThrough ?ENEMY ?WHATEVER ?PATHWAY)) (goalCategoryForAgent ?COUNTRY (pathState ?PATHWAY PathBlocked) StrategicNationalInterest)) (instance Iran Country) (considersAsEnemy Iran SaudiArabia) (exportsThrough SaudiArabia PetroleumProduct BabElMandeb-Strait) (implies (exportThroughAmountDuring ?COUNTRY ?PRODUCT ?PATH ?TIME ?AMOUNT) (exportsThrough ?COUNTRY ?PRODUCT ?PATH)) (exportThroughAmountDuring SaudiArabia PetroleumProduct BabElMandeb-Strait (YearFn 1995) (MillionBarrelsPerDay 0 3.40000)) (query (findall ?INTEREST (goalCategoryForAgent Iran (pathState BabElMandeb-Strait PathBlocked) ?INTEREST))) (answer StrategicNationalInterest) (answer StrategicInterest) (end_of_file)