In (17), we observe that Skolem term dareka 'somebody' allows only the narrow scope reading.
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).