Context                Previous, Next                Top


69_a_paulfellows
How many times have we all been bitten by that one?

%3 r_0069_0002__many many r_0069_0001__How How r_0069_0002__many->r_0069_0001__How [qual] r_0069_0003__times times r_0069_0003__times->r_0069_0002__many [attrib] r_0069_0004__have have r_0069_0004__have->r_0069_0003__times [nim] r_0069_0007__been been r_0069_0004__have->r_0069_0007__been [scope] r_0069_0006__all all r_0069_0007__been->r_0069_0006__all [nim] r_0069_0008__bitten bitten r_0069_0007__been->r_0069_0008__bitten [scope] r_0069_0005__we we r_0069_0008__bitten->r_0069_0005__we [arg1] r_0069_0010__that_r_0069_0011__one that one r_0069_0008__bitten->r_0069_0010__that_r_0069_0011__one [arg0] 
arc(r_0069_0002__many, r_0069_0001__How, qual5).
arc(r_0069_0003__times, r_0069_0002__many, attrib4).
arc(r_0069_0004__have, r_0069_0003__times, nim3).
arc(r_0069_0004__have, r_0069_0007__been, scope).
arc(r_0069_0007__been, r_0069_0006__all, nim18).
arc(r_0069_0007__been, r_0069_0008__bitten, scope).
arc(r_0069_0008__bitten, r_0069_0005__we, arg1).
arc(r_0069_0008__bitten, r_0069_0010__that_r_0069_0011__one, arg0).


%3 r_0069_0004__have_r_0069_0007__been_r_0069_0008__bitten have been bitten r_0069_0010__that_r_0069_0011__one that one r_0069_0004__have_r_0069_0007__been_r_0069_0008__bitten->r_0069_0010__that_r_0069_0011__one [arg0] r_0069_0005__we we r_0069_0004__have_r_0069_0007__been_r_0069_0008__bitten->r_0069_0005__we [arg1] r_0069_0006__all all r_0069_0004__have_r_0069_0007__been_r_0069_0008__bitten->r_0069_0006__all [nim] r_0069_0003__times times r_0069_0004__have_r_0069_0007__been_r_0069_0008__bitten->r_0069_0003__times [nim] r_0069_0002__many many r_0069_0003__times->r_0069_0002__many [attrib] r_0069_0001__How How r_0069_0002__many->r_0069_0001__How [qual] 
fof(formula,axiom,
    ? [R_0069_0001__HOW,R_0069_0002__MANY,R_0069_0003__TIMES,R_0069_0006__ALL,R_0069_0005__WE,R_0069_0010__THAT_R_0069_0011__ONE,R_0069_0004__HAVE_R_0069_0007__BEEN_R_0069_0008__BITTEN] :
      ( r_0069_0001__How(R_0069_0001__HOW)
      & r_0069_0005__we(R_0069_0005__WE)
      & r_0069_0006__all(R_0069_0006__ALL)
      & r_0069_0010__that_r_0069_0011__one(R_0069_0010__THAT_R_0069_0011__ONE)
      & r_0069_0004__have_r_0069_0007__been_r_0069_0008__bitten(R_0069_0004__HAVE_R_0069_0007__BEEN_R_0069_0008__BITTEN)
      & has_arg0(R_0069_0004__HAVE_R_0069_0007__BEEN_R_0069_0008__BITTEN,R_0069_0010__THAT_R_0069_0011__ONE)
      & has_arg1(R_0069_0004__HAVE_R_0069_0007__BEEN_R_0069_0008__BITTEN,R_0069_0005__WE)
      & has_nim18(R_0069_0004__HAVE_R_0069_0007__BEEN_R_0069_0008__BITTEN,R_0069_0006__ALL)
      & has_nim3(R_0069_0004__HAVE_R_0069_0007__BEEN_R_0069_0008__BITTEN,R_0069_0003__TIMES)
      & r_0069_0003__times(R_0069_0003__TIMES)
      & has_attrib4(R_0069_0003__TIMES,R_0069_0002__MANY)
      & r_0069_0002__many(R_0069_0002__MANY)
      & has_qual5(R_0069_0002__MANY,R_0069_0001__HOW) ) ).


n69_a_paulfellows n69_a_paulfellows__1_1_1_1_1_1_1 How n69_a_paulfellows__1_1_1_1_2_1 many n69_a_paulfellows__1_1_1_2_1 times n69_a_paulfellows__1_1_2_1 have n69_a_paulfellows__1_1_3_1_1 we n69_a_paulfellows__1_1_4_1_1_1 all n69_a_paulfellows__1_1_4_2_1 been n69_a_paulfellows__1_1_4_3_1_1 bitten n69_a_paulfellows__1_1_4_3_2_1_1 by n69_a_paulfellows__1_1_4_3_2_2_1_1 that n69_a_paulfellows__1_1_4_3_2_2_2_1 one n69_a_paulfellows__1_2_1 ? n69_a_paulfellows__1 CP-QUE-MAT n69_a_paulfellows__1_1 IP-SUB n69_a_paulfellows__1->n69_a_paulfellows__1_1 n69_a_paulfellows__1_2 PUNC n69_a_paulfellows__1->n69_a_paulfellows__1_2 n69_a_paulfellows__1_1_1 NP-NIM n69_a_paulfellows__1_1->n69_a_paulfellows__1_1_1 n69_a_paulfellows__1_1_2 HVP;_cat_Ve_ n69_a_paulfellows__1_1->n69_a_paulfellows__1_1_2 n69_a_paulfellows__1_1_3 NP-SBJ n69_a_paulfellows__1_1->n69_a_paulfellows__1_1_3 n69_a_paulfellows__1_1_4 IP-PPL-CAT n69_a_paulfellows__1_1->n69_a_paulfellows__1_1_4 n69_a_paulfellows__1_1_1_1 ADJP n69_a_paulfellows__1_1_1->n69_a_paulfellows__1_1_1_1 n69_a_paulfellows__1_1_1_2 NS n69_a_paulfellows__1_1_1->n69_a_paulfellows__1_1_1_2 n69_a_paulfellows__1_1_1_1_1 ADVP n69_a_paulfellows__1_1_1_1->n69_a_paulfellows__1_1_1_1_1 n69_a_paulfellows__1_1_1_1_2 ADJ n69_a_paulfellows__1_1_1_1->n69_a_paulfellows__1_1_1_1_2 n69_a_paulfellows__1_1_1_1_1_1 WADV n69_a_paulfellows__1_1_1_1_1->n69_a_paulfellows__1_1_1_1_1_1 n69_a_paulfellows__1_1_1_1_1_1->n69_a_paulfellows__1_1_1_1_1_1_1 n69_a_paulfellows__1_1_1_1_2->n69_a_paulfellows__1_1_1_1_2_1 n69_a_paulfellows__1_1_1_2->n69_a_paulfellows__1_1_1_2_1 n69_a_paulfellows__1_1_2->n69_a_paulfellows__1_1_2_1 n69_a_paulfellows__1_1_3_1 PRO n69_a_paulfellows__1_1_3->n69_a_paulfellows__1_1_3_1 n69_a_paulfellows__1_1_3_1->n69_a_paulfellows__1_1_3_1_1 n69_a_paulfellows__1_1_4_1 ADVP-NIM n69_a_paulfellows__1_1_4->n69_a_paulfellows__1_1_4_1 n69_a_paulfellows__1_1_4_2 BEN;_cat_VePASS_ n69_a_paulfellows__1_1_4->n69_a_paulfellows__1_1_4_2 n69_a_paulfellows__1_1_4_3 IP-PPL-CAT n69_a_paulfellows__1_1_4->n69_a_paulfellows__1_1_4_3 n69_a_paulfellows__1_1_4_1_1 ADV n69_a_paulfellows__1_1_4_1->n69_a_paulfellows__1_1_4_1_1 n69_a_paulfellows__1_1_4_1_1->n69_a_paulfellows__1_1_4_1_1_1 n69_a_paulfellows__1_1_4_2->n69_a_paulfellows__1_1_4_2_1 n69_a_paulfellows__1_1_4_3_1 VVN;_Tn_ n69_a_paulfellows__1_1_4_3->n69_a_paulfellows__1_1_4_3_1 n69_a_paulfellows__1_1_4_3_2 PP-LGS n69_a_paulfellows__1_1_4_3->n69_a_paulfellows__1_1_4_3_2 n69_a_paulfellows__1_1_4_3_1->n69_a_paulfellows__1_1_4_3_1_1 n69_a_paulfellows__1_1_4_3_2_1 P-ROLE;_lgs_ n69_a_paulfellows__1_1_4_3_2->n69_a_paulfellows__1_1_4_3_2_1 n69_a_paulfellows__1_1_4_3_2_2 NP n69_a_paulfellows__1_1_4_3_2->n69_a_paulfellows__1_1_4_3_2_2 n69_a_paulfellows__1_1_4_3_2_1->n69_a_paulfellows__1_1_4_3_2_1_1 n69_a_paulfellows__1_1_4_3_2_2_1 D n69_a_paulfellows__1_1_4_3_2_2->n69_a_paulfellows__1_1_4_3_2_2_1 n69_a_paulfellows__1_1_4_3_2_2_2 NUM n69_a_paulfellows__1_1_4_3_2_2->n69_a_paulfellows__1_1_4_3_2_2_2 n69_a_paulfellows__1_1_4_3_2_2_1->n69_a_paulfellows__1_1_4_3_2_2_1_1 n69_a_paulfellows__1_1_4_3_2_2_2->n69_a_paulfellows__1_1_4_3_2_2_2_1 n69_a_paulfellows__1_2->n69_a_paulfellows__1_2_1 
( (CP-QUE-MAT (IP-SUB (NP-NIM (ADJP (ADVP (WADV How;{how}))
                                    (ADJ many;{many}))
                              (NS times;{time}))
                      (HVP;_cat_Ve_ have;{have})
                      (NP-SBJ (PRO we;{we}))
                      (IP-PPL-CAT (ADVP-NIM (ADV all;{all}))
                                  (BEN;_cat_VePASS_ been;{be})
                                  (IP-PPL-CAT (VVN;_Tn_ bitten;{bite})
                                              (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                      (NP (D that;{that})
                                                          (NUM one;{one}))))))
              (PUNC ?))
  (ID 69_a_paulfellows))