gf-3.1.6: examples/SUMO/axioms/EconomyHiO.gft

IrreflexiveRelation ? (\x,y -> exportPartner x y)

IrreflexiveRelation ? (\x,y -> importPartner x y)