We can additionally reject relation annotations where the types of the arguments do not agree with the expected types of the relation.
we only accept a relation annotation s→R(m 1 , m 2 ) when EntityTypes(e 1 ) ∩ τ 1 = ∅ and EntityTypes(e 2 )∩τ 2 = ∅, where m 1 is linked to e 1 , m 2 is linked to e 2 , EntityTypes provides the set of valid types for an entity, τ 1 is the set of allowed types for the first argument of target relation r, and τ 2 for the second argument.