gf-3.1.6: examples/SUMO/axioms/EconomySubRel.gft
subRelation2El ? ? ? ? (\x,y -> economyType x y) (\x,y -> attribute x y) subRelation2El ? ? ? ? (\x,y -> currencyCode x y) (\x,y -> abbreviation x y)
subRelation2El ? ? ? ? (\x,y -> economyType x y) (\x,y -> attribute x y) subRelation2El ? ? ? ? (\x,y -> currencyCode x y) (\x,y -> abbreviation x y)