For example, the system cannot tell whether born in is expressing a birthplace or birthdate relation until later in the derivation, when it combines with its arguments.
all the possible logical forms are identical except for the symbols used, which means we can produce a packed logical form capturing the full distribution over logical forms.