http://proton.semanticweb.org/2005/04/protons#transitiveOver

used by 0: