http://semanticweb.org/id/Property-3AFormalizes

used by 0: