Context                Previous, Next                Top


373_a_dick_1952
Men trained to fight, to lead armies, a regular profession.

%3 r_0373_0002__trained trained r_0373_0001__Men Men r_0373_0002__trained->r_0373_0001__Men [arg0] r_0373_0003__to_r_0373_0004__fight to fight r_0373_0003__to_r_0373_0004__fight->r_0373_0001__Men [arg0] r_0373_0006__to_r_0373_0007__lead to lead r_0373_0006__to_r_0373_0007__lead->r_0373_0001__Men [arg0] r_0373_0008__armies armies r_0373_0006__to_r_0373_0007__lead->r_0373_0008__armies [arg1] z_000_373_a_dick_1952_7 z_000_373_a_dick_1952_7->r_0373_0002__trained [scope] z_000_373_a_dick_1952_9 z_000_373_a_dick_1952_7->z_000_373_a_dick_1952_9 [restriction] z_000_373_a_dick_1952_9->r_0373_0003__to_r_0373_0004__fight [conj1] z_000_373_a_dick_1952_9->r_0373_0006__to_r_0373_0007__lead [conj2] 
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).


%3 r_0373_0002__trained trained r_0373_0001__Men Men r_0373_0002__trained->r_0373_0001__Men [arg0] r_0373_0003__to_r_0373_0004__fight to fight r_0373_0003__to_r_0373_0004__fight->r_0373_0001__Men [arg0] r_0373_0006__to_r_0373_0007__lead to lead r_0373_0006__to_r_0373_0007__lead->r_0373_0001__Men [arg0] r_0373_0008__armies armies r_0373_0006__to_r_0373_0007__lead->r_0373_0008__armies [arg1] z_000_373_a_dick_1952_7 z_000_373_a_dick_1952_7->r_0373_0002__trained [conj2] z_000_373_a_dick_1952_9 z_000_373_a_dick_1952_7->z_000_373_a_dick_1952_9 [conj1] z_000_373_a_dick_1952_9->r_0373_0003__to_r_0373_0004__fight [conj1] 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) ) ).


n373_a_dick_1952 n373_a_dick_1952_4 Men n373_a_dick_1952_6 trained n373_a_dick_1952_12 to n373_a_dick_1952_14 fight n373_a_dick_1952_16 , n373_a_dick_1952_20 to n373_a_dick_1952_22 lead n373_a_dick_1952_25 armies n373_a_dick_1952_27 , n373_a_dick_1952_31 a n373_a_dick_1952_34 regular n373_a_dick_1952_36 profession n373_a_dick_1952_38 . n373_a_dick_1952_1 IP-MAT n373_a_dick_1952_2 NP-SBJ n373_a_dick_1952_1->n373_a_dick_1952_2 n373_a_dick_1952_5 VBD;_I_ n373_a_dick_1952_1->n373_a_dick_1952_5 n373_a_dick_1952_7 PP-SCON n373_a_dick_1952_1->n373_a_dick_1952_7 n373_a_dick_1952_26 PUNC n373_a_dick_1952_1->n373_a_dick_1952_26 n373_a_dick_1952_28 PRN n373_a_dick_1952_1->n373_a_dick_1952_28 n373_a_dick_1952_37 PUNC n373_a_dick_1952_1->n373_a_dick_1952_37 n373_a_dick_1952_3 NS n373_a_dick_1952_2->n373_a_dick_1952_3 n373_a_dick_1952_3->n373_a_dick_1952_4 n373_a_dick_1952_5->n373_a_dick_1952_6 n373_a_dick_1952_8 IP-INF n373_a_dick_1952_7->n373_a_dick_1952_8 n373_a_dick_1952_9 ILYR n373_a_dick_1952_8->n373_a_dick_1952_9 n373_a_dick_1952_10 ILYR n373_a_dick_1952_9->n373_a_dick_1952_10 n373_a_dick_1952_15 PUNC n373_a_dick_1952_9->n373_a_dick_1952_15 n373_a_dick_1952_17 CONJP n373_a_dick_1952_9->n373_a_dick_1952_17 n373_a_dick_1952_11 TO n373_a_dick_1952_10->n373_a_dick_1952_11 n373_a_dick_1952_13 VB;_I_ n373_a_dick_1952_10->n373_a_dick_1952_13 n373_a_dick_1952_11->n373_a_dick_1952_12 n373_a_dick_1952_13->n373_a_dick_1952_14 n373_a_dick_1952_15->n373_a_dick_1952_16 n373_a_dick_1952_18 ILYR n373_a_dick_1952_17->n373_a_dick_1952_18 n373_a_dick_1952_19 TO n373_a_dick_1952_18->n373_a_dick_1952_19 n373_a_dick_1952_21 VB;_Tn_ n373_a_dick_1952_18->n373_a_dick_1952_21 n373_a_dick_1952_23 NP-OB1 n373_a_dick_1952_18->n373_a_dick_1952_23 n373_a_dick_1952_19->n373_a_dick_1952_20 n373_a_dick_1952_21->n373_a_dick_1952_22 n373_a_dick_1952_24 NS n373_a_dick_1952_23->n373_a_dick_1952_24 n373_a_dick_1952_24->n373_a_dick_1952_25 n373_a_dick_1952_26->n373_a_dick_1952_27 n373_a_dick_1952_29 NP n373_a_dick_1952_28->n373_a_dick_1952_29 n373_a_dick_1952_30 D n373_a_dick_1952_29->n373_a_dick_1952_30 n373_a_dick_1952_32 ADJP n373_a_dick_1952_29->n373_a_dick_1952_32 n373_a_dick_1952_35 N n373_a_dick_1952_29->n373_a_dick_1952_35 n373_a_dick_1952_30->n373_a_dick_1952_31 n373_a_dick_1952_33 ADJ n373_a_dick_1952_32->n373_a_dick_1952_33 n373_a_dick_1952_33->n373_a_dick_1952_34 n373_a_dick_1952_35->n373_a_dick_1952_36 n373_a_dick_1952_37->n373_a_dick_1952_38 
( (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))