]> x p y z p rdf:typeowl:TransitiveProperty x py y pz x pz