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_0007__lid lid r_0050_0008__off off r_0050_0007__lid->r_0050_0008__off [qual] r_0050_0002__that that r_0050_0007__lid->r_0050_0002__that [gen] r_0050_0003___apos_s 's r_0050_0003___apos_s->r_0050_0007__lid with [nim] 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_0001__So So r_0050_0003___apos_s->r_0050_0001__So [nim] 
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__1_1_1_1 So n50_a_paulfellows__1_2_1_1 that n50_a_paulfellows__1_3_1 's n50_a_paulfellows__1_4_1_1 it n50_a_paulfellows__1_5_1_1 with n50_a_paulfellows__1_5_2_1_1_1 its n50_a_paulfellows__1_5_2_2_1 lid n50_a_paulfellows__1_5_2_3_1_1 off n50_a_paulfellows__1_6_1 , n50_a_paulfellows__1_7_1_1_1_1_1_1 all n50_a_paulfellows__1_7_1_1_1_1_2_1 the_rest n50_a_paulfellows__1_7_1_1_1_1_3_1_1 of n50_a_paulfellows__1_7_1_1_1_1_3_2_1_1 the n50_a_paulfellows__1_7_1_1_1_1_3_2_2_1 bits n50_a_paulfellows__1_7_1_1_1_1_3_2_3_1_1 that n50_a_paulfellows__1_7_1_1_1_1_3_2_3_2_1 *T* n50_a_paulfellows__1_7_1_1_1_1_3_2_3_3_1 were n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_1_1 * n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_2_1 hidden n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_3_1_1 under n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_3_2_1_1 the n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_3_2_2_1 drives n50_a_paulfellows__1_7_1_1_1_2_1_1 and n50_a_paulfellows__1_7_1_1_1_2_2_1_1_1_1 so n50_a_paulfellows__1_7_1_1_1_2_2_1_2_1 forth n50_a_paulfellows__1_8_1 . n50_a_paulfellows__1 IP-MAT n50_a_paulfellows__1_1 ADVP-NIM n50_a_paulfellows__1->n50_a_paulfellows__1_1 n50_a_paulfellows__1_2 NP-SBJ n50_a_paulfellows__1->n50_a_paulfellows__1_2 n50_a_paulfellows__1_3 BEP;_Ln_ n50_a_paulfellows__1->n50_a_paulfellows__1_3 n50_a_paulfellows__1_4 NP-PRD n50_a_paulfellows__1->n50_a_paulfellows__1_4 n50_a_paulfellows__1_5 PP-NIM n50_a_paulfellows__1->n50_a_paulfellows__1_5 n50_a_paulfellows__1_6 PUNC n50_a_paulfellows__1->n50_a_paulfellows__1_6 n50_a_paulfellows__1_7 PRN n50_a_paulfellows__1->n50_a_paulfellows__1_7 n50_a_paulfellows__1_8 PUNC n50_a_paulfellows__1->n50_a_paulfellows__1_8 n50_a_paulfellows__1_1_1 ADV n50_a_paulfellows__1_1->n50_a_paulfellows__1_1_1 n50_a_paulfellows__1_1_1->n50_a_paulfellows__1_1_1_1 n50_a_paulfellows__1_2_1 D;_nphd_ n50_a_paulfellows__1_2->n50_a_paulfellows__1_2_1 n50_a_paulfellows__1_2_1->n50_a_paulfellows__1_2_1_1 n50_a_paulfellows__1_3->n50_a_paulfellows__1_3_1 n50_a_paulfellows__1_4_1 PRO n50_a_paulfellows__1_4->n50_a_paulfellows__1_4_1 n50_a_paulfellows__1_4_1->n50_a_paulfellows__1_4_1_1 n50_a_paulfellows__1_5_1 P-ROLE n50_a_paulfellows__1_5->n50_a_paulfellows__1_5_1 n50_a_paulfellows__1_5_2 NP n50_a_paulfellows__1_5->n50_a_paulfellows__1_5_2 n50_a_paulfellows__1_5_1->n50_a_paulfellows__1_5_1_1 n50_a_paulfellows__1_5_2_1 NP-GEN n50_a_paulfellows__1_5_2->n50_a_paulfellows__1_5_2_1 n50_a_paulfellows__1_5_2_2 N n50_a_paulfellows__1_5_2->n50_a_paulfellows__1_5_2_2 n50_a_paulfellows__1_5_2_3 ADVP n50_a_paulfellows__1_5_2->n50_a_paulfellows__1_5_2_3 n50_a_paulfellows__1_5_2_1_1 PRO;_genm_ n50_a_paulfellows__1_5_2_1->n50_a_paulfellows__1_5_2_1_1 n50_a_paulfellows__1_5_2_1_1->n50_a_paulfellows__1_5_2_1_1_1 n50_a_paulfellows__1_5_2_2->n50_a_paulfellows__1_5_2_2_1 n50_a_paulfellows__1_5_2_3_1 RP n50_a_paulfellows__1_5_2_3->n50_a_paulfellows__1_5_2_3_1 n50_a_paulfellows__1_5_2_3_1->n50_a_paulfellows__1_5_2_3_1_1 n50_a_paulfellows__1_6->n50_a_paulfellows__1_6_1 n50_a_paulfellows__1_7_1 FRAG n50_a_paulfellows__1_7->n50_a_paulfellows__1_7_1 n50_a_paulfellows__1_7_1_1 NP n50_a_paulfellows__1_7_1->n50_a_paulfellows__1_7_1_1 n50_a_paulfellows__1_7_1_1_1 NLYR n50_a_paulfellows__1_7_1_1->n50_a_paulfellows__1_7_1_1_1 n50_a_paulfellows__1_7_1_1_1_1 NLYR n50_a_paulfellows__1_7_1_1_1->n50_a_paulfellows__1_7_1_1_1_1 n50_a_paulfellows__1_7_1_1_1_2 CONJP n50_a_paulfellows__1_7_1_1_1->n50_a_paulfellows__1_7_1_1_1_2 n50_a_paulfellows__1_7_1_1_1_1_1 Q;_nphd_ n50_a_paulfellows__1_7_1_1_1_1->n50_a_paulfellows__1_7_1_1_1_1_1 n50_a_paulfellows__1_7_1_1_1_1_2 D;_nphd_ n50_a_paulfellows__1_7_1_1_1_1->n50_a_paulfellows__1_7_1_1_1_1_2 n50_a_paulfellows__1_7_1_1_1_1_3 PP n50_a_paulfellows__1_7_1_1_1_1->n50_a_paulfellows__1_7_1_1_1_1_3 n50_a_paulfellows__1_7_1_1_1_1_1->n50_a_paulfellows__1_7_1_1_1_1_1_1 n50_a_paulfellows__1_7_1_1_1_1_2->n50_a_paulfellows__1_7_1_1_1_1_2_1 n50_a_paulfellows__1_7_1_1_1_1_3_1 P-ROLE n50_a_paulfellows__1_7_1_1_1_1_3->n50_a_paulfellows__1_7_1_1_1_1_3_1 n50_a_paulfellows__1_7_1_1_1_1_3_2 NP n50_a_paulfellows__1_7_1_1_1_1_3->n50_a_paulfellows__1_7_1_1_1_1_3_2 n50_a_paulfellows__1_7_1_1_1_1_3_1->n50_a_paulfellows__1_7_1_1_1_1_3_1_1 n50_a_paulfellows__1_7_1_1_1_1_3_2_1 D n50_a_paulfellows__1_7_1_1_1_1_3_2->n50_a_paulfellows__1_7_1_1_1_1_3_2_1 n50_a_paulfellows__1_7_1_1_1_1_3_2_2 NS n50_a_paulfellows__1_7_1_1_1_1_3_2->n50_a_paulfellows__1_7_1_1_1_1_3_2_2 n50_a_paulfellows__1_7_1_1_1_1_3_2_3 IP-REL n50_a_paulfellows__1_7_1_1_1_1_3_2->n50_a_paulfellows__1_7_1_1_1_1_3_2_3 n50_a_paulfellows__1_7_1_1_1_1_3_2_1->n50_a_paulfellows__1_7_1_1_1_1_3_2_1_1 n50_a_paulfellows__1_7_1_1_1_1_3_2_2->n50_a_paulfellows__1_7_1_1_1_1_3_2_2_1 n50_a_paulfellows__1_7_1_1_1_1_3_2_3_1 C n50_a_paulfellows__1_7_1_1_1_1_3_2_3->n50_a_paulfellows__1_7_1_1_1_1_3_2_3_1 n50_a_paulfellows__1_7_1_1_1_1_3_2_3_2 NP-SBJ n50_a_paulfellows__1_7_1_1_1_1_3_2_3->n50_a_paulfellows__1_7_1_1_1_1_3_2_3_2 n50_a_paulfellows__1_7_1_1_1_1_3_2_3_3 BED;_cat_VePASS_ n50_a_paulfellows__1_7_1_1_1_1_3_2_3->n50_a_paulfellows__1_7_1_1_1_1_3_2_3_3 n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4 IP-PPL-CAT n50_a_paulfellows__1_7_1_1_1_1_3_2_3->n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4 n50_a_paulfellows__1_7_1_1_1_1_3_2_3_1->n50_a_paulfellows__1_7_1_1_1_1_3_2_3_1_1 n50_a_paulfellows__1_7_1_1_1_1_3_2_3_2->n50_a_paulfellows__1_7_1_1_1_1_3_2_3_2_1 n50_a_paulfellows__1_7_1_1_1_1_3_2_3_3->n50_a_paulfellows__1_7_1_1_1_1_3_2_3_3_1 n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_1 NP-LGS n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4->n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_1 n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_2 VVN;__ n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4->n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_2 n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_3 PP-NIM n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4->n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_3 n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_1->n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_1_1 n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_2->n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_2_1 n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_3_1 P-ROLE n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_3->n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_3_1 n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_3_2 NP n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_3->n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_3_2 n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_3_1->n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_3_1_1 n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_3_2_1 D n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_3_2->n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_3_2_1 n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_3_2_2 NS n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_3_2->n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_3_2_2 n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_3_2_1->n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_3_2_1_1 n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_3_2_2->n50_a_paulfellows__1_7_1_1_1_1_3_2_3_4_3_2_2_1 n50_a_paulfellows__1_7_1_1_1_2_1 CONJ n50_a_paulfellows__1_7_1_1_1_2->n50_a_paulfellows__1_7_1_1_1_2_1 n50_a_paulfellows__1_7_1_1_1_2_2 NLYR n50_a_paulfellows__1_7_1_1_1_2->n50_a_paulfellows__1_7_1_1_1_2_2 n50_a_paulfellows__1_7_1_1_1_2_1->n50_a_paulfellows__1_7_1_1_1_2_1_1 n50_a_paulfellows__1_7_1_1_1_2_2_1 ADVP n50_a_paulfellows__1_7_1_1_1_2_2->n50_a_paulfellows__1_7_1_1_1_2_2_1 n50_a_paulfellows__1_7_1_1_1_2_2_1_1 ADVP n50_a_paulfellows__1_7_1_1_1_2_2_1->n50_a_paulfellows__1_7_1_1_1_2_2_1_1 n50_a_paulfellows__1_7_1_1_1_2_2_1_2 ADV n50_a_paulfellows__1_7_1_1_1_2_2_1->n50_a_paulfellows__1_7_1_1_1_2_2_1_2 n50_a_paulfellows__1_7_1_1_1_2_2_1_1_1 ADV n50_a_paulfellows__1_7_1_1_1_2_2_1_1->n50_a_paulfellows__1_7_1_1_1_2_2_1_1_1 n50_a_paulfellows__1_7_1_1_1_2_2_1_1_1->n50_a_paulfellows__1_7_1_1_1_2_2_1_1_1_1 n50_a_paulfellows__1_7_1_1_1_2_2_1_2->n50_a_paulfellows__1_7_1_1_1_2_2_1_2_1 n50_a_paulfellows__1_8->n50_a_paulfellows__1_8_1 
( (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))