112_a_lob_n02
He patted the Boxer's huge head.
arc(r_0112_0002__patted, r_0112_0001__He, arg0).
arc(r_0112_0002__patted, r_0112_0007__head, arg1).
arc(r_0112_0007__head, r_0112_0003__the_r_0112_0004__Boxer_r_0112_0005___apos_s, gen).
arc(r_0112_0007__head, r_0112_0006__huge, attrib15).
fof(formula,axiom,
? [R_112_2_PATTED,R_112_1_HE,R_112_7_HEAD,R_112_6_HUGE,R_112_3_THE_BOXER_APOS_S] :
( he(R_112_1_HE)
& huge(R_112_6_HUGE)
& the_Boxer_apos_s(R_112_3_THE_BOXER_APOS_S)
& patted(R_112_2_PATTED,R_112_1_HE,R_112_7_HEAD)
& head(R_112_7_HEAD)
& attrib15(R_112_7_HEAD,R_112_6_HUGE)
& gen(R_112_7_HEAD,R_112_3_THE_BOXER_APOS_S) ) ).
( (IP-MAT (NP-SBJ;{PIERS} (PRO He;{he}))
(VBD;_Tn_ patted;{pat})
(NP-OB1 (NP-GEN;{JUDY} (D the;{the})
(NPR Boxer;{Boxer})
(GENM <apos>s))
(ADJP (ADJ huge;{huge}))
(N head;{head}))
(PUNC .))
(ID 112_a_lob_n02))