No type or individual with this identifier: pm#binary_relation_with_particular_mathematical_property