The principle of compositionality suggests that "a positive solution of x 2 = 1" has "1" as its denotation, but "x 2 = 1 has 1" does not make sense.
we must not supply the "omitted" argument to "a solution" in this sentence to derive a correct semantic representation, e.g., ∃x(x 2 = 1 ∧ x > 0).