For example, consider the following feature: This feature is active for the pair ("GM bought Opel","GM owns Opel"), with the variable unification X = "GM" and Y = "Opel".
this feature is not active for the pair ("GM bought Opel","Opel owns GM") as there is no possibility of unifying the two variables.