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_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_r_0069_0007__been_r_0069_0008__bitten have been bitten r_0069_0004__have_r_0069_0007__been_r_0069_0008__bitten->r_0069_0003__times [nim] 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_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]
fof(formula,axiom,
    ? [R_69_4_HAVE_BEEN_BITTEN,R_69_10_THAT_ONE,R_69_5_WE,R_69_6_ALL,R_69_3_TIMES,R_69_2_MANY,R_69_1_HOW] :
      ( that_one(R_69_10_THAT_ONE)
      & we(R_69_5_WE)
      & all(R_69_6_ALL)
      & how(R_69_1_HOW)
      & have_been_bitten(R_69_4_HAVE_BEEN_BITTEN,R_69_10_THAT_ONE,R_69_5_WE)
      & nim18(R_69_4_HAVE_BEEN_BITTEN,R_69_6_ALL)
      & nim3(R_69_4_HAVE_BEEN_BITTEN,R_69_3_TIMES)
      & times(R_69_3_TIMES)
      & attrib4(R_69_3_TIMES,R_69_2_MANY)
      & many(R_69_2_MANY)
      & qual5(R_69_2_MANY,R_69_1_HOW) ) ).



n69_a_paulfellows n69_a_paulfellows_7 How n69_a_paulfellows_9 many n69_a_paulfellows_11 times n69_a_paulfellows_13 have n69_a_paulfellows_16 we n69_a_paulfellows_20 all n69_a_paulfellows_22 been n69_a_paulfellows_25 bitten n69_a_paulfellows_28 by n69_a_paulfellows_31 that n69_a_paulfellows_33 one n69_a_paulfellows_35 ? n69_a_paulfellows_1 CP-QUE-MAT n69_a_paulfellows_2 IP-SUB n69_a_paulfellows_1->n69_a_paulfellows_2 n69_a_paulfellows_34 PUNC n69_a_paulfellows_1->n69_a_paulfellows_34 n69_a_paulfellows_3 NP-NIM n69_a_paulfellows_2->n69_a_paulfellows_3 n69_a_paulfellows_12 HVP;_cat_Ve_ n69_a_paulfellows_2->n69_a_paulfellows_12 n69_a_paulfellows_14 NP-SBJ n69_a_paulfellows_2->n69_a_paulfellows_14 n69_a_paulfellows_17 IP-PPL-CAT n69_a_paulfellows_2->n69_a_paulfellows_17 n69_a_paulfellows_4 ADJP n69_a_paulfellows_3->n69_a_paulfellows_4 n69_a_paulfellows_10 NS n69_a_paulfellows_3->n69_a_paulfellows_10 n69_a_paulfellows_5 ADVP n69_a_paulfellows_4->n69_a_paulfellows_5 n69_a_paulfellows_8 ADJ n69_a_paulfellows_4->n69_a_paulfellows_8 n69_a_paulfellows_6 WADV n69_a_paulfellows_5->n69_a_paulfellows_6 n69_a_paulfellows_6->n69_a_paulfellows_7 n69_a_paulfellows_8->n69_a_paulfellows_9 n69_a_paulfellows_10->n69_a_paulfellows_11 n69_a_paulfellows_12->n69_a_paulfellows_13 n69_a_paulfellows_15 PRO n69_a_paulfellows_14->n69_a_paulfellows_15 n69_a_paulfellows_15->n69_a_paulfellows_16 n69_a_paulfellows_18 ADVP-NIM n69_a_paulfellows_17->n69_a_paulfellows_18 n69_a_paulfellows_21 BEN;_cat_VePASS_ n69_a_paulfellows_17->n69_a_paulfellows_21 n69_a_paulfellows_23 IP-PPL-CAT n69_a_paulfellows_17->n69_a_paulfellows_23 n69_a_paulfellows_19 ADV n69_a_paulfellows_18->n69_a_paulfellows_19 n69_a_paulfellows_19->n69_a_paulfellows_20 n69_a_paulfellows_21->n69_a_paulfellows_22 n69_a_paulfellows_24 VVN;_Tn_ n69_a_paulfellows_23->n69_a_paulfellows_24 n69_a_paulfellows_26 PP-LGS n69_a_paulfellows_23->n69_a_paulfellows_26 n69_a_paulfellows_24->n69_a_paulfellows_25 n69_a_paulfellows_27 P-ROLE;_lgs_ n69_a_paulfellows_26->n69_a_paulfellows_27 n69_a_paulfellows_29 NP n69_a_paulfellows_26->n69_a_paulfellows_29 n69_a_paulfellows_27->n69_a_paulfellows_28 n69_a_paulfellows_30 D n69_a_paulfellows_29->n69_a_paulfellows_30 n69_a_paulfellows_32 NUM n69_a_paulfellows_29->n69_a_paulfellows_32 n69_a_paulfellows_30->n69_a_paulfellows_31 n69_a_paulfellows_32->n69_a_paulfellows_33 n69_a_paulfellows_34->n69_a_paulfellows_35
( (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))