- everyone hit himself
- S/(S!NP) (S!NP)/NP (S!NP)!((S!NP)/NP)
- \fAx[fx] \y\z[HIT y z] \h\u[huu]
- ---------------------------------
- S!NP \u[HIT u u]
- --------------------------------------------
- S Ax[HIT x x]
-
-Here, "A" is our crude markdown approximation of the universal quantifier.
-Notice that the semantic value of *himself* is exactly `W`.
-The reflexive pronoun in direct object position combines with the transitive verb. The result is an intransitive verb phrase that takes a subject argument, duplicates that argument, and feeds the two copies to the transitive verb meaning.
+<pre><code>
+everyone hit himself
+S/(S!NP) (S!NP)/NP (S!NP)!((S!NP)/NP)
+\fAx[fx] \y\z[HIT y z] \h\u[huu]
+ ---------------------------------
+ S!NP \u[HIT u u]
+--------------------------------------------
+ S ∀x[HIT x x]
+</code></pre>
+
+Notice that the semantic value of *himself* is exactly `W`. The reflexive
+pronoun in direct object position combines with the transitive verb. The
+result is an intransitive verb phrase that takes a subject argument, duplicates
+that argument, and feeds the two copies to the transitive verb meaning.