Context                Previous, Next                Top


112_a_lob_n02
He patted the Boxer's huge head.

n112_a_lob_n02 n112_a_lob_n02__1_1_1_1 He n112_a_lob_n02__1_2_1 patted n112_a_lob_n02__1_3_1_1_1 the n112_a_lob_n02__1_3_1_2_1 Boxer n112_a_lob_n02__1_3_1_3_1 's n112_a_lob_n02__1_3_2_1_1 huge n112_a_lob_n02__1_3_3_1 head n112_a_lob_n02__1_4_1 . n112_a_lob_n02__1 IP-MAT n112_a_lob_n02__1_1 NP-SBJ n112_a_lob_n02__1->n112_a_lob_n02__1_1 n112_a_lob_n02__1_2 VBD;_Tn_ n112_a_lob_n02__1->n112_a_lob_n02__1_2 n112_a_lob_n02__1_3 NP-OB1 n112_a_lob_n02__1->n112_a_lob_n02__1_3 n112_a_lob_n02__1_4 PUNC n112_a_lob_n02__1->n112_a_lob_n02__1_4 n112_a_lob_n02__1_1_1 PRO n112_a_lob_n02__1_1->n112_a_lob_n02__1_1_1 n112_a_lob_n02__1_1_1->n112_a_lob_n02__1_1_1_1 n112_a_lob_n02__1_2->n112_a_lob_n02__1_2_1 n112_a_lob_n02__1_3_1 NP-GEN n112_a_lob_n02__1_3->n112_a_lob_n02__1_3_1 n112_a_lob_n02__1_3_2 ADJP n112_a_lob_n02__1_3->n112_a_lob_n02__1_3_2 n112_a_lob_n02__1_3_3 N n112_a_lob_n02__1_3->n112_a_lob_n02__1_3_3 n112_a_lob_n02__1_3_1_1 D n112_a_lob_n02__1_3_1->n112_a_lob_n02__1_3_1_1 n112_a_lob_n02__1_3_1_2 NPR n112_a_lob_n02__1_3_1->n112_a_lob_n02__1_3_1_2 n112_a_lob_n02__1_3_1_3 GENM n112_a_lob_n02__1_3_1->n112_a_lob_n02__1_3_1_3 n112_a_lob_n02__1_3_1_1->n112_a_lob_n02__1_3_1_1_1 n112_a_lob_n02__1_3_1_2->n112_a_lob_n02__1_3_1_2_1 n112_a_lob_n02__1_3_1_3->n112_a_lob_n02__1_3_1_3_1 n112_a_lob_n02__1_3_2_1 ADJ n112_a_lob_n02__1_3_2->n112_a_lob_n02__1_3_2_1 n112_a_lob_n02__1_3_2_1->n112_a_lob_n02__1_3_2_1_1 n112_a_lob_n02__1_3_3->n112_a_lob_n02__1_3_3_1 n112_a_lob_n02__1_4->n112_a_lob_n02__1_4_1 
( (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))


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


%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 the Boxer r_0112_0007__head->r_0112_0003__the_r_0112_0004__Boxer [gen] r_0112_0006__huge huge r_0112_0007__head->r_0112_0006__huge [attrib] 
fof(formula,axiom,
    ? [R_0112_0001__HE,R_0112_0003__THE_R_0112_0004__BOXER,R_0112_0006__HUGE,R_0112_0007__HEAD,R_0112_0002__PATTED] :
      ( r_0112_0001__He(R_0112_0001__HE)
      & r_0112_0003__the_r_0112_0004__Boxer(R_0112_0003__THE_R_0112_0004__BOXER)
      & r_0112_0006__huge(R_0112_0006__HUGE)
      & r_0112_0002__patted(R_0112_0002__PATTED)
      & has_arg1(R_0112_0002__PATTED,R_0112_0007__HEAD)
      & r_0112_0007__head(R_0112_0007__HEAD)
      & has_attrib(R_0112_0007__HEAD,R_0112_0006__HUGE)
      & has_gen(R_0112_0007__HEAD,R_0112_0003__THE_R_0112_0004__BOXER)
      & has_arg0(R_0112_0002__PATTED,R_0112_0001__HE) ) ).