 The next step is now easy. Apply the rule for combining a Noun Phrase and an Intransitive Verb to the last result, producing Every man is singing. The output of the semantic rule is \(\lambda Q\forall x[\textbf{man}(x) \rightarrow Q(x)](\textbf{sing})\). By lambda conversion we obtain \(\forall x[\textbf{man}(x) \rightarrow \textbf{sing}(x)],\) which is the traditional logical representation of Every man is singing.