No type or individual with this identifier: #complement.opposite_number