628_a_dick_1952
And behind came more carts, some with relays, some with firing controls, some with tools and parts, screws and bolts, pins and nuts.
( (IP-MAT (CONJ;_cl_ And;{and})
(ADVP-TPC-NIM (ADV behind;{behind}))
(VBD;_I_ came;{come})
(NP-SBJ;{GROUP} (ADJP (ADJR more;{more}))
(NS carts;{cart})
(PUNC ,)
(PRN (NP (NLYR (NLYR (D;_nphd_ some;{some})
(PP (P-ROLE with;{with})
(NP (NS relays;{relay}))))
(PUNC ,)
(CONJP (NLYR (D;_nphd_ some;{some})
(PP (P-ROLE with;{with})
(NP (N firing;{firing})
(NS controls;{control})))))
(PUNC ,)
(CONJP (NLYR (D;_nphd_ some;{some})
(PP (P-ROLE with;{with})
(NP (NLYR (NLYR (NLYR (NLYR (NS tools;{tool}))
(CONJP (CONJ and;{and})
(NLYR (NS parts;{part})))))
(PUNC ,)
(CONJP (NLYR (NLYR (NLYR (NS screws;{screw}))
(CONJP (CONJ and;{and})
(NLYR (NS bolts;{bolt}))))))
(PUNC ,)
(CONJP (NLYR (NLYR (NLYR (NS pins;{pin}))
(CONJP (CONJ and;{and})
(NLYR (NS nuts;{nut})))))))))))))))
(PUNC .))
(ID 628_a_dick_1952))
arc(r_0628_0003__came,r_0628_0002__behind,nim).
arc(r_0628_0003__came,r_0628_0005__carts,arg0).
arc(r_0628_0005__carts,r_0628_0004__more,attrib).
arc(r_0628_0007__some,r_0628_0009__relays,r_0628_0008__with).
arc(r_0628_0011__some,r_0628_0013__firing_r_0628_0014__controls,r_0628_0012__with).
arc(r_0628_0016__some,z_0628_5017,r_0628_0017__with).
arc(r_0628_0019__and,r_0628_0018__tools,conj1).
arc(r_0628_0019__and,r_0628_0020__parts,conj2).
arc(r_0628_0023__and,r_0628_0022__screws,conj1).
arc(r_0628_0023__and,r_0628_0024__bolts,conj2).
arc(r_0628_0027__and,r_0628_0026__pins,conj1).
arc(r_0628_0027__and,r_0628_0028__nuts,conj2).
arc(z_0628_5017,r_0628_0019__and,conj1).
arc(z_0628_5017,r_0628_0023__and,conj2).
arc(z_0628_5017,r_0628_0027__and,conj3).
arc(z_0628_5018,r_0628_0007__some,conj1).
arc(z_0628_5018,r_0628_0011__some,conj2).
arc(z_0628_5018,r_0628_0016__some,conj3).
arc(z_0628_5019,r_0628_0005__carts,arg0).
arc(z_0628_5019,z_0628_5018,prd).
fof(formula,axiom,
? [R_0628_0002__BEHIND,R_0628_0004__MORE,R_0628_0005__CARTS,R_0628_0003__CAME,R_0628_0009__RELAYS,R_0628_0007__SOME,R_0628_0013__FIRING_R_0628_0014__CONTROLS,R_0628_0011__SOME,R_0628_0018__TOOLS,R_0628_0020__PARTS,R_0628_0019__AND,R_0628_0022__SCREWS,R_0628_0024__BOLTS,R_0628_0023__AND,R_0628_0026__PINS,R_0628_0028__NUTS,R_0628_0027__AND,Z_0628_5017,R_0628_0016__SOME,Z_0628_5018,Z_0628_5019] :
( r_0628_0002__behind(R_0628_0002__BEHIND)
& r_0628_0004__more(R_0628_0004__MORE)
& r_0628_0009__relays(R_0628_0009__RELAYS)
& r_0628_0013__firing_r_0628_0014__controls(R_0628_0013__FIRING_R_0628_0014__CONTROLS)
& r_0628_0018__tools(R_0628_0018__TOOLS)
& r_0628_0020__parts(R_0628_0020__PARTS)
& r_0628_0022__screws(R_0628_0022__SCREWS)
& r_0628_0024__bolts(R_0628_0024__BOLTS)
& r_0628_0026__pins(R_0628_0026__PINS)
& r_0628_0028__nuts(R_0628_0028__NUTS)
& z_0628_5019(Z_0628_5019)
& has_prd(Z_0628_5019,Z_0628_5018)
& z_0628_5018(Z_0628_5018)
& has_conj3(Z_0628_5018,R_0628_0016__SOME)
& r_0628_0016__some(R_0628_0016__SOME)
& has_r_0628_0017__with(R_0628_0016__SOME,Z_0628_5017)
& z_0628_5017(Z_0628_5017)
& has_conj3(Z_0628_5017,R_0628_0027__AND)
& r_0628_0027__and(R_0628_0027__AND)
& has_conj2(R_0628_0027__AND,R_0628_0028__NUTS)
& has_conj1(R_0628_0027__AND,R_0628_0026__PINS)
& has_conj2(Z_0628_5017,R_0628_0023__AND)
& r_0628_0023__and(R_0628_0023__AND)
& has_conj2(R_0628_0023__AND,R_0628_0024__BOLTS)
& has_conj1(R_0628_0023__AND,R_0628_0022__SCREWS)
& has_conj1(Z_0628_5017,R_0628_0019__AND)
& r_0628_0019__and(R_0628_0019__AND)
& has_conj2(R_0628_0019__AND,R_0628_0020__PARTS)
& has_conj1(R_0628_0019__AND,R_0628_0018__TOOLS)
& has_conj2(Z_0628_5018,R_0628_0011__SOME)
& r_0628_0011__some(R_0628_0011__SOME)
& has_r_0628_0012__with(R_0628_0011__SOME,R_0628_0013__FIRING_R_0628_0014__CONTROLS)
& has_conj1(Z_0628_5018,R_0628_0007__SOME)
& r_0628_0007__some(R_0628_0007__SOME)
& has_r_0628_0008__with(R_0628_0007__SOME,R_0628_0009__RELAYS)
& has_arg0(Z_0628_5019,R_0628_0005__CARTS)
& r_0628_0005__carts(R_0628_0005__CARTS)
& has_attrib(R_0628_0005__CARTS,R_0628_0004__MORE)
& r_0628_0003__came(R_0628_0003__CAME)
& has_arg0(R_0628_0003__CAME,R_0628_0005__CARTS)
& has_nim(R_0628_0003__CAME,R_0628_0002__BEHIND) ) ).