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.
arc(r_0628_0001__And_r_0628_0003__came, r_0628_0002__behind, nim4).
arc(r_0628_0001__And_r_0628_0003__came, r_0628_0005__carts, arg0).
arc(r_0628_0005__carts, r_0628_0004__more, attrib10).
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_000_628_a_dick_1952_53, 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_000_628_a_dick_1952_17, r_0628_0005__carts, arg0).
arc(z_000_628_a_dick_1952_17, z_000_628_a_dick_1952_19, prd).
arc(z_000_628_a_dick_1952_19, r_0628_0007__some, conj1).
arc(z_000_628_a_dick_1952_19, r_0628_0011__some, conj2).
arc(z_000_628_a_dick_1952_19, r_0628_0016__some, conj3).
arc(z_000_628_a_dick_1952_53, r_0628_0019__and, conj1).
arc(z_000_628_a_dick_1952_53, r_0628_0023__and, conj2).
arc(z_000_628_a_dick_1952_53, r_0628_0027__and, conj3).
fof(formula,axiom,
? [R_628_1_AND_CAME,R_628_2_BEHIND,Z_628_A_DICK_1952_17,R_628_5_CARTS,R_628_4_MORE,Z_628_A_DICK_1952_19,R_628_7_SOME,R_628_9_RELAYS,R_628_11_SOME,R_628_13_FIRING_CONTROLS,R_628_16_SOME,Z_628_A_DICK_1952_53,R_628_19_AND,R_628_18_TOOLS,R_628_20_PARTS,R_628_23_AND,R_628_22_SCREWS,R_628_24_BOLTS,R_628_27_AND,R_628_26_PINS,R_628_28_NUTS] :
( behind(R_628_2_BEHIND)
& more(R_628_4_MORE)
& relays(R_628_9_RELAYS)
& firing_controls(R_628_13_FIRING_CONTROLS)
& tools(R_628_18_TOOLS)
& parts(R_628_20_PARTS)
& screws(R_628_22_SCREWS)
& bolts(R_628_24_BOLTS)
& pins(R_628_26_PINS)
& nuts(R_628_28_NUTS)
& and_came(R_628_1_AND_CAME,R_628_5_CARTS)
& carts(R_628_5_CARTS)
& attrib10(R_628_5_CARTS,R_628_4_MORE)
& nim4(R_628_1_AND_CAME,R_628_2_BEHIND)
& z_628_a_dick_1952_17(Z_628_A_DICK_1952_17,R_628_5_CARTS,Z_628_A_DICK_1952_19)
& z_628_a_dick_1952_19(Z_628_A_DICK_1952_19)
& conj1(Z_628_A_DICK_1952_19,R_628_7_SOME)
& some(R_628_7_SOME)
& with(R_628_7_SOME,R_628_9_RELAYS)
& conj2(Z_628_A_DICK_1952_19,R_628_11_SOME)
& some(R_628_11_SOME)
& with(R_628_11_SOME,R_628_13_FIRING_CONTROLS)
& conj3(Z_628_A_DICK_1952_19,R_628_16_SOME)
& some(R_628_16_SOME)
& with(R_628_16_SOME,Z_628_A_DICK_1952_53)
& z_628_a_dick_1952_53(Z_628_A_DICK_1952_53)
& conj1(Z_628_A_DICK_1952_53,R_628_19_AND)
& and(R_628_19_AND)
& conj1(R_628_19_AND,R_628_18_TOOLS)
& conj2(R_628_19_AND,R_628_20_PARTS)
& conj2(Z_628_A_DICK_1952_53,R_628_23_AND)
& and(R_628_23_AND)
& conj1(R_628_23_AND,R_628_22_SCREWS)
& conj2(R_628_23_AND,R_628_24_BOLTS)
& conj3(Z_628_A_DICK_1952_53,R_628_27_AND)
& and(R_628_27_AND)
& conj1(R_628_27_AND,R_628_26_PINS)
& conj2(R_628_27_AND,R_628_28_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 ,)
(IP-PPL (NP-PRD (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))