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

used by 0: