The environment is the operator bound variable identifier and is associated with the propositional body of the interpretation.
the transitive verb loves has the following category with its environment being the empty set: 5 (12) Application of a rule induces environment passing in the following way: if a function with environment F is applied to an argument with environment A , the environment of the argument in the resulting LF is the union of the two (F U A).