Context                Previous, Next                Top


112_a_lob_n02
He patted the Boxer's huge head.

%3 r_0112_0002__patted patted r_0112_0001__He He r_0112_0002__patted->r_0112_0001__He [arg0] r_0112_0007__head head r_0112_0002__patted->r_0112_0007__head [arg1] r_0112_0003__the_r_0112_0004__Boxer_r_0112_0005___apos_s the Boxer 's r_0112_0007__head->r_0112_0003__the_r_0112_0004__Boxer_r_0112_0005___apos_s [gen] r_0112_0006__huge huge r_0112_0007__head->r_0112_0006__huge [attrib] 
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).


%3 r_0112_0002__patted patted r_0112_0001__He He r_0112_0002__patted->r_0112_0001__He [arg0] r_0112_0007__head head r_0112_0002__patted->r_0112_0007__head [arg1] r_0112_0003__the_r_0112_0004__Boxer_r_0112_0005___apos_s the Boxer 's r_0112_0007__head->r_0112_0003__the_r_0112_0004__Boxer_r_0112_0005___apos_s [gen] r_0112_0006__huge huge r_0112_0007__head->r_0112_0006__huge [attrib] 
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) ) ).


n112_a_lob_n02 n112_a_lob_n02_4 He n112_a_lob_n02_6 patted n112_a_lob_n02_10 the n112_a_lob_n02_12 Boxer n112_a_lob_n02_14 's n112_a_lob_n02_17 huge n112_a_lob_n02_19 head n112_a_lob_n02_21 . n112_a_lob_n02_1 IP-MAT n112_a_lob_n02_2 NP-SBJ n112_a_lob_n02_1->n112_a_lob_n02_2 n112_a_lob_n02_5 VBD;_Tn_ n112_a_lob_n02_1->n112_a_lob_n02_5 n112_a_lob_n02_7 NP-OB1 n112_a_lob_n02_1->n112_a_lob_n02_7 n112_a_lob_n02_20 PUNC n112_a_lob_n02_1->n112_a_lob_n02_20 n112_a_lob_n02_3 PRO n112_a_lob_n02_2->n112_a_lob_n02_3 n112_a_lob_n02_3->n112_a_lob_n02_4 n112_a_lob_n02_5->n112_a_lob_n02_6 n112_a_lob_n02_8 NP-GEN n112_a_lob_n02_7->n112_a_lob_n02_8 n112_a_lob_n02_15 ADJP n112_a_lob_n02_7->n112_a_lob_n02_15 n112_a_lob_n02_18 N n112_a_lob_n02_7->n112_a_lob_n02_18 n112_a_lob_n02_9 D n112_a_lob_n02_8->n112_a_lob_n02_9 n112_a_lob_n02_11 NPR n112_a_lob_n02_8->n112_a_lob_n02_11 n112_a_lob_n02_13 GENM n112_a_lob_n02_8->n112_a_lob_n02_13 n112_a_lob_n02_9->n112_a_lob_n02_10 n112_a_lob_n02_11->n112_a_lob_n02_12 n112_a_lob_n02_13->n112_a_lob_n02_14 n112_a_lob_n02_16 ADJ n112_a_lob_n02_15->n112_a_lob_n02_16 n112_a_lob_n02_16->n112_a_lob_n02_17 n112_a_lob_n02_18->n112_a_lob_n02_19 n112_a_lob_n02_20->n112_a_lob_n02_21 
( (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))