Found:

Theta identification

SYNTAX/SEMANTICS: process by which two arguments are identified. EXAMPLE: in the nice man the arguments of the predicates nice and man are identified resulting in the interpretation 'x is nice & y is a man & x = y' where the 'x = y' part represents the identification.

LIT.	Higginbotham, J. (1985)