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

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

AsymmetricRelation ? (\x,y -> customer x y)