49_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.
( (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})
(NLYR (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 49_a_paulfellows))
arc(r_0049_0003___apos_s,r_0049_0001__So,nim).
arc(r_0049_0003___apos_s,r_0049_0002__that,arg0).
arc(r_0049_0003___apos_s,r_0049_0004__it,prd).
arc(r_0049_0003___apos_s,r_0049_0007__lid,r_0049_0005__with__nim).
arc(r_0049_0003___apos_s,z_0049_5024,prn).
arc(r_0049_0007__lid,r_0049_0006__its,gen).
arc(r_0049_0007__lid,r_0049_0008__off,qual).
arc(r_0049_0010__all__quant,r_0049_0021__and,scope).
arc(r_0049_0010__all__quant,z_0049_5019,restriction).
arc(r_0049_0011__the_rest,r_0049_0013__the_r_0049_0014__bits,r_0049_0012__of).
arc(r_0049_0016__were,r_0049_0017__hidden,scope).
arc(r_0049_0017__hidden,r_0049_0013__the_r_0049_0014__bits,inv_arg1).
arc(r_0049_0017__hidden,r_0049_0019__the_r_0049_0020__drives,r_0049_0018__under__nim).
arc(r_0049_0017__hidden,z_0049_5016___star_,arg0).
arc(r_0049_0021__and,z_0049_5019,conj1).
arc(r_0049_0021__and,z_0049_5023,conj2).
arc(r_0049_0023__forth,r_0049_0022__so,qual).
arc(z_0049_5019,r_0049_0011__the_rest,nim).
arc(z_0049_5023,r_0049_0023__forth,qual).
arc(z_0049_5024,r_0049_0021__and,z_0049_5007).
arc(z_0049_5024,z_0049_5006,arg0).
fof(formula,axiom,
? [R_0049_0001__SO,R_0049_0002__THAT,R_0049_0004__IT,R_0049_0006__ITS,R_0049_0008__OFF,R_0049_0007__LID,R_0049_0019__THE_R_0049_0020__DRIVES,Z_0049_5016___STAR_,R_0049_0016__WERE_R_0049_0017__HIDDEN,R_0049_0013__THE_R_0049_0014__BITS,R_0049_0011__THE_REST,Z_0049_5019,R_0049_0022__SO,R_0049_0023__FORTH,Z_0049_5023,R_0049_0021__AND,Z_0049_5006,Z_0049_5024,R_0049_0003___APOS_S] :
( r_0049_0001__So(R_0049_0001__SO)
& r_0049_0002__that(R_0049_0002__THAT)
& r_0049_0004__it(R_0049_0004__IT)
& r_0049_0006__its(R_0049_0006__ITS)
& r_0049_0008__off(R_0049_0008__OFF)
& r_0049_0019__the_r_0049_0020__drives(R_0049_0019__THE_R_0049_0020__DRIVES)
& r_0049_0022__so(R_0049_0022__SO)
& z_0049_5006(Z_0049_5006)
& z_0049_5016___star_(Z_0049_5016___STAR_)
& ( z_0049_5019(Z_0049_5019)
=> z_0049_5024(Z_0049_5024) )
& r_0049_0003___apos_s(R_0049_0003___APOS_S)
& has_prn(R_0049_0003___APOS_S,Z_0049_5024)
& z_0049_5024(Z_0049_5024)
& has_arg0(Z_0049_5024,Z_0049_5006)
& has_z_0049_5007(Z_0049_5024,R_0049_0021__AND)
& r_0049_0021__and(R_0049_0021__AND)
& has_conj2(R_0049_0021__AND,Z_0049_5023)
& z_0049_5023(Z_0049_5023)
& has_qual(Z_0049_5023,R_0049_0023__FORTH)
& r_0049_0023__forth(R_0049_0023__FORTH)
& has_qual(R_0049_0023__FORTH,R_0049_0022__SO)
& has_conj1(R_0049_0021__AND,Z_0049_5019)
& z_0049_5019(Z_0049_5019)
& has_nim(Z_0049_5019,R_0049_0011__THE_REST)
& r_0049_0011__the_rest(R_0049_0011__THE_REST)
& has_r_0049_0012__of(R_0049_0011__THE_REST,R_0049_0013__THE_R_0049_0014__BITS)
& r_0049_0013__the_r_0049_0014__bits(R_0049_0013__THE_R_0049_0014__BITS)
& has_inv_arg1(R_0049_0013__THE_R_0049_0014__BITS,R_0049_0016__WERE_R_0049_0017__HIDDEN)
& r_0049_0016__were_r_0049_0017__hidden(R_0049_0016__WERE_R_0049_0017__HIDDEN)
& has_arg0(R_0049_0016__WERE_R_0049_0017__HIDDEN,Z_0049_5016___STAR_)
& has_r_0049_0018__under__nim(R_0049_0016__WERE_R_0049_0017__HIDDEN,R_0049_0019__THE_R_0049_0020__DRIVES)
& has_r_0049_0005__with__nim(R_0049_0003___APOS_S,R_0049_0007__LID)
& r_0049_0007__lid(R_0049_0007__LID)
& has_qual(R_0049_0007__LID,R_0049_0008__OFF)
& has_gen(R_0049_0007__LID,R_0049_0006__ITS)
& has_prd(R_0049_0003___APOS_S,R_0049_0004__IT)
& has_arg0(R_0049_0003___APOS_S,R_0049_0002__THAT)
& has_nim(R_0049_0003___APOS_S,R_0049_0001__SO) ) ).