Projection and Paraphrase in Semantics