No type or individual with this identifier: pm#injective_binary_relation