gf-3.1.6: examples/SUMO/axioms/GovernmentHiO.gft
AsymmetricRelation ? (\x,y -> primaryGeopoliticalSubdivision x y) AsymmetricRelation ? (\x,y -> chamberOfLegislature x y) AsymmetricRelation ? (\x,y -> successorOrganization x y) SymmetricRelation ? (\x,y -> diplomaticRelations x y) IrreflexiveRelation ? (\x,y -> diplomaticRelations x y)