Context                Previous, Next                Top


50_a_paulfellows
So that's it with its lid off, all the rest of the bits that were hidden under the drives and so forth.

%3 r_0050_0003___apos_s 's r_0050_0001__So So r_0050_0003___apos_s->r_0050_0001__So [nim] r_0050_0002__that that r_0050_0003___apos_s->r_0050_0002__that [arg0] r_0050_0004__it it r_0050_0003___apos_s->r_0050_0004__it [prd] r_0050_0007__lid lid r_0050_0003___apos_s->r_0050_0007__lid with [nim] r_0050_0007__lid->r_0050_0002__that [gen] r_0050_0008__off off r_0050_0007__lid->r_0050_0008__off [qual] 
arc(r_0050_0003___apos_s, r_0050_0001__So, nim2).
arc(r_0050_0003___apos_s, r_0050_0002__that, arg0).
arc(r_0050_0003___apos_s, r_0050_0004__it, prd).
arc(r_0050_0003___apos_s, r_0050_0007__lid, r_0050_0005__with_nim16).
arc(r_0050_0007__lid, r_0050_0002__that, gen).
arc(r_0050_0007__lid, r_0050_0008__off, qual22).


%3 r_0050_0003___apos_s 's r_0050_0001__So So r_0050_0003___apos_s->r_0050_0001__So [nim] r_0050_0002__that that r_0050_0003___apos_s->r_0050_0002__that [arg0] r_0050_0004__it it r_0050_0003___apos_s->r_0050_0004__it [prd] r_0050_0007__lid lid r_0050_0003___apos_s->r_0050_0007__lid with [nim] r_0050_0007__lid->r_0050_0002__that [gen] r_0050_0008__off off r_0050_0007__lid->r_0050_0008__off [qual] 
fof(formula,axiom,
    ? [R_50_3__APOS_S,R_50_1_SO,R_50_4_IT,R_50_7_LID,R_50_2_THAT,R_50_8_OFF] :
      ( so(R_50_1_SO)
      & it(R_50_4_IT)
      & that(R_50_2_THAT)
      & off(R_50_8_OFF)
      & _apos_s(R_50_3__APOS_S,R_50_2_THAT,R_50_4_IT)
      & nim2(R_50_3__APOS_S,R_50_1_SO)
      & with_nim16(R_50_3__APOS_S,R_50_7_LID)
      & lid(R_50_7_LID)
      & gen(R_50_7_LID,R_50_2_THAT)
      & qual22(R_50_7_LID,R_50_8_OFF) ) ).


n50_a_paulfellows n50_a_paulfellows_4 So n50_a_paulfellows_7 that n50_a_paulfellows_9 's n50_a_paulfellows_12 it n50_a_paulfellows_15 with n50_a_paulfellows_19 its n50_a_paulfellows_21 lid n50_a_paulfellows_24 off n50_a_paulfellows_26 , n50_a_paulfellows_33 all n50_a_paulfellows_35 the_rest n50_a_paulfellows_38 of n50_a_paulfellows_41 the n50_a_paulfellows_43 bits n50_a_paulfellows_46 that n50_a_paulfellows_48 *T* n50_a_paulfellows_50 were n50_a_paulfellows_53 * n50_a_paulfellows_55 hidden n50_a_paulfellows_58 under n50_a_paulfellows_61 the n50_a_paulfellows_63 drives n50_a_paulfellows_66 and n50_a_paulfellows_71 so n50_a_paulfellows_73 forth n50_a_paulfellows_75 . n50_a_paulfellows_1 IP-MAT n50_a_paulfellows_2 ADVP-NIM n50_a_paulfellows_1->n50_a_paulfellows_2 n50_a_paulfellows_5 NP-SBJ n50_a_paulfellows_1->n50_a_paulfellows_5 n50_a_paulfellows_8 BEP;_Ln_ n50_a_paulfellows_1->n50_a_paulfellows_8 n50_a_paulfellows_10 NP-PRD n50_a_paulfellows_1->n50_a_paulfellows_10 n50_a_paulfellows_13 PP-NIM n50_a_paulfellows_1->n50_a_paulfellows_13 n50_a_paulfellows_25 PUNC n50_a_paulfellows_1->n50_a_paulfellows_25 n50_a_paulfellows_27 PRN n50_a_paulfellows_1->n50_a_paulfellows_27 n50_a_paulfellows_74 PUNC n50_a_paulfellows_1->n50_a_paulfellows_74 n50_a_paulfellows_3 ADV n50_a_paulfellows_2->n50_a_paulfellows_3 n50_a_paulfellows_3->n50_a_paulfellows_4 n50_a_paulfellows_6 D;_nphd_ n50_a_paulfellows_5->n50_a_paulfellows_6 n50_a_paulfellows_6->n50_a_paulfellows_7 n50_a_paulfellows_8->n50_a_paulfellows_9 n50_a_paulfellows_11 PRO n50_a_paulfellows_10->n50_a_paulfellows_11 n50_a_paulfellows_11->n50_a_paulfellows_12 n50_a_paulfellows_14 P-ROLE n50_a_paulfellows_13->n50_a_paulfellows_14 n50_a_paulfellows_16 NP n50_a_paulfellows_13->n50_a_paulfellows_16 n50_a_paulfellows_14->n50_a_paulfellows_15 n50_a_paulfellows_17 NP-GEN n50_a_paulfellows_16->n50_a_paulfellows_17 n50_a_paulfellows_20 N n50_a_paulfellows_16->n50_a_paulfellows_20 n50_a_paulfellows_22 ADVP n50_a_paulfellows_16->n50_a_paulfellows_22 n50_a_paulfellows_18 PRO;_genm_ n50_a_paulfellows_17->n50_a_paulfellows_18 n50_a_paulfellows_18->n50_a_paulfellows_19 n50_a_paulfellows_20->n50_a_paulfellows_21 n50_a_paulfellows_23 RP n50_a_paulfellows_22->n50_a_paulfellows_23 n50_a_paulfellows_23->n50_a_paulfellows_24 n50_a_paulfellows_25->n50_a_paulfellows_26 n50_a_paulfellows_28 FRAG n50_a_paulfellows_27->n50_a_paulfellows_28 n50_a_paulfellows_29 NP n50_a_paulfellows_28->n50_a_paulfellows_29 n50_a_paulfellows_30 NLYR n50_a_paulfellows_29->n50_a_paulfellows_30 n50_a_paulfellows_31 NLYR n50_a_paulfellows_30->n50_a_paulfellows_31 n50_a_paulfellows_64 CONJP n50_a_paulfellows_30->n50_a_paulfellows_64 n50_a_paulfellows_32 Q;_nphd_ n50_a_paulfellows_31->n50_a_paulfellows_32 n50_a_paulfellows_34 D;_nphd_ n50_a_paulfellows_31->n50_a_paulfellows_34 n50_a_paulfellows_36 PP n50_a_paulfellows_31->n50_a_paulfellows_36 n50_a_paulfellows_32->n50_a_paulfellows_33 n50_a_paulfellows_34->n50_a_paulfellows_35 n50_a_paulfellows_37 P-ROLE n50_a_paulfellows_36->n50_a_paulfellows_37 n50_a_paulfellows_39 NP n50_a_paulfellows_36->n50_a_paulfellows_39 n50_a_paulfellows_37->n50_a_paulfellows_38 n50_a_paulfellows_40 D n50_a_paulfellows_39->n50_a_paulfellows_40 n50_a_paulfellows_42 NS n50_a_paulfellows_39->n50_a_paulfellows_42 n50_a_paulfellows_44 IP-REL n50_a_paulfellows_39->n50_a_paulfellows_44 n50_a_paulfellows_40->n50_a_paulfellows_41 n50_a_paulfellows_42->n50_a_paulfellows_43 n50_a_paulfellows_45 C n50_a_paulfellows_44->n50_a_paulfellows_45 n50_a_paulfellows_47 NP-SBJ n50_a_paulfellows_44->n50_a_paulfellows_47 n50_a_paulfellows_49 BED;_cat_VePASS_ n50_a_paulfellows_44->n50_a_paulfellows_49 n50_a_paulfellows_51 IP-PPL-CAT n50_a_paulfellows_44->n50_a_paulfellows_51 n50_a_paulfellows_45->n50_a_paulfellows_46 n50_a_paulfellows_47->n50_a_paulfellows_48 n50_a_paulfellows_49->n50_a_paulfellows_50 n50_a_paulfellows_52 NP-LGS n50_a_paulfellows_51->n50_a_paulfellows_52 n50_a_paulfellows_54 VVN;__ n50_a_paulfellows_51->n50_a_paulfellows_54 n50_a_paulfellows_56 PP-NIM n50_a_paulfellows_51->n50_a_paulfellows_56 n50_a_paulfellows_52->n50_a_paulfellows_53 n50_a_paulfellows_54->n50_a_paulfellows_55 n50_a_paulfellows_57 P-ROLE n50_a_paulfellows_56->n50_a_paulfellows_57 n50_a_paulfellows_59 NP n50_a_paulfellows_56->n50_a_paulfellows_59 n50_a_paulfellows_57->n50_a_paulfellows_58 n50_a_paulfellows_60 D n50_a_paulfellows_59->n50_a_paulfellows_60 n50_a_paulfellows_62 NS n50_a_paulfellows_59->n50_a_paulfellows_62 n50_a_paulfellows_60->n50_a_paulfellows_61 n50_a_paulfellows_62->n50_a_paulfellows_63 n50_a_paulfellows_65 CONJ n50_a_paulfellows_64->n50_a_paulfellows_65 n50_a_paulfellows_67 NLYR n50_a_paulfellows_64->n50_a_paulfellows_67 n50_a_paulfellows_65->n50_a_paulfellows_66 n50_a_paulfellows_68 ADVP n50_a_paulfellows_67->n50_a_paulfellows_68 n50_a_paulfellows_69 ADVP n50_a_paulfellows_68->n50_a_paulfellows_69 n50_a_paulfellows_72 ADV n50_a_paulfellows_68->n50_a_paulfellows_72 n50_a_paulfellows_70 ADV n50_a_paulfellows_69->n50_a_paulfellows_70 n50_a_paulfellows_70->n50_a_paulfellows_71 n50_a_paulfellows_72->n50_a_paulfellows_73 n50_a_paulfellows_74->n50_a_paulfellows_75 
( (IP-MAT (ADVP-NIM (ADV So;{so}))
          (NP-SBJ (D;_nphd_ that;{that}))
          (BEP;_Ln_ <apos>s;{be})
          (NP-PRD (PRO it;{it}))
          (PP-NIM (P-ROLE with;{with})
                  (NP (NP-GEN (PRO;_genm_ its;{its}))
                      (N lid;{lid})
                      (ADVP (RP off;{off}))))
          (PUNC ,)
          (PRN (FRAG (NP (NLYR (NLYR (Q;_nphd_ all;{all})
                                     (D;_nphd_ the_rest;{the_rest})
                                     (PP (P-ROLE of;{of})
                                         (NP (D the;{the})
                                             (NS bits;{bit})
                                             (IP-REL (C that;{that})
                                                     (NP-SBJ *T*)
                                                     (BED;_cat_VePASS_ were;{be})
                                                     (IP-PPL-CAT (NP-LGS *)
                                                                 (VVN;__ hidden;{hide})
                                                                 (PP-NIM (P-ROLE under;{under})
                                                                         (NP (D the;{the})
                                                                             (NS drives;{drive}))))))))
                               (CONJP (CONJ and;{and})
                                      (NLYR (ADVP (ADVP (ADV so;{so}))
                                                  (ADV forth;{forth}))))))))
          (PUNC .))
  (ID 50_a_paulfellows))