The goal is to identify the relation possDif f (E1, E2, E3), where E1, E2, E3 are constituents having a nonnull class value.
instead of identifying posDif f (E1, E2, E3) directly, first the relation  3 ) } are identified, the extraction module will infer that posDif f (E1, E2, E3) holds.