A formal specification of support verb constructions · Study