373_a_dick_1952
Men trained to fight, to lead armies, a regular profession.
arc(r_0373_0002__trained, r_0373_0001__Men, arg0).
arc(r_0373_0003__to_r_0373_0004__fight, r_0373_0001__Men, arg0).
arc(r_0373_0006__to_r_0373_0007__lead, r_0373_0001__Men, arg0).
arc(r_0373_0006__to_r_0373_0007__lead, r_0373_0008__armies, arg1).
arc(z_000_373_a_dick_1952_7, r_0373_0002__trained, scope).
arc(z_000_373_a_dick_1952_7, z_000_373_a_dick_1952_9, restriction).
arc(z_000_373_a_dick_1952_9, r_0373_0003__to_r_0373_0004__fight, conj1).
arc(z_000_373_a_dick_1952_9, r_0373_0006__to_r_0373_0007__lead, conj2).
fof(formula,axiom,
? [Z_373_A_DICK_1952_7,Z_373_A_DICK_1952_9,R_373_3_TO_FIGHT,R_373_6_TO_LEAD,R_373_8_ARMIES,R_373_2_TRAINED,R_373_1_MEN] :
( armies(R_373_8_ARMIES)
& men(R_373_1_MEN)
& z_373_a_dick_1952_7(Z_373_A_DICK_1952_7)
& conj1(Z_373_A_DICK_1952_7,Z_373_A_DICK_1952_9)
& z_373_a_dick_1952_9(Z_373_A_DICK_1952_9)
& conj1(Z_373_A_DICK_1952_9,R_373_3_TO_FIGHT)
& to_fight(R_373_3_TO_FIGHT,R_373_1_MEN)
& conj2(Z_373_A_DICK_1952_9,R_373_6_TO_LEAD)
& to_lead(R_373_6_TO_LEAD,R_373_1_MEN,R_373_8_ARMIES)
& conj2(Z_373_A_DICK_1952_7,R_373_2_TRAINED)
& trained(R_373_2_TRAINED,R_373_1_MEN) ) ).
( (IP-MAT (NP-SBJ (NS Men;{man}))
(VBD;_I_ trained;{train})
(PP-SCON (IP-INF (ILYR (ILYR (TO to;{to})
(VB;_I_ fight;{fight}))
(PUNC ,)
(CONJP (ILYR (TO to;{to})
(VB;_Tn_ lead;{lead})
(NP-OB1 (NS armies;{army})))))))
(PUNC ,)
(PRN (NP (D a;{a})
(ADJP (ADJ regular;{regular}))
(N profession;{profession})))
(PUNC .))
(ID 373_a_dick_1952))