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 z_000_373_a_dick_1952_9 r_0373_0006__to_r_0373_0007__lead to lead z_000_373_a_dick_1952_9->r_0373_0006__to_r_0373_0007__lead [conj2] r_0373_0003__to_r_0373_0004__fight to fight z_000_373_a_dick_1952_9->r_0373_0003__to_r_0373_0004__fight [conj1] r_0373_0008__armies armies r_0373_0006__to_r_0373_0007__lead->r_0373_0008__armies [arg1] r_0373_0001__Men Men r_0373_0006__to_r_0373_0007__lead->r_0373_0001__Men [arg0] r_0373_0003__to_r_0373_0004__fight->r_0373_0001__Men [arg0] z_000_373_a_dick_1952_7 z_000_373_a_dick_1952_7->z_000_373_a_dick_1952_9 [conj1] r_0373_0002__trained trained z_000_373_a_dick_1952_7->r_0373_0002__trained [conj2] r_0373_0002__trained->r_0373_0001__Men [arg0] 
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__1_1_1_1 Men n373_a_dick_1952__1_2_1 trained n373_a_dick_1952__1_3_1_1_1_1_1 to n373_a_dick_1952__1_3_1_1_1_2_1 fight n373_a_dick_1952__1_3_1_1_2_1 , n373_a_dick_1952__1_3_1_1_3_1_1_1 to n373_a_dick_1952__1_3_1_1_3_1_2_1 lead n373_a_dick_1952__1_3_1_1_3_1_3_1_1 armies n373_a_dick_1952__1_4_1 , n373_a_dick_1952__1_5_1_1_1 a n373_a_dick_1952__1_5_1_2_1_1 regular n373_a_dick_1952__1_5_1_3_1 profession n373_a_dick_1952__1_6_1 . n373_a_dick_1952__1 IP-MAT n373_a_dick_1952__1_1 NP-SBJ n373_a_dick_1952__1->n373_a_dick_1952__1_1 n373_a_dick_1952__1_2 VBD;_I_ n373_a_dick_1952__1->n373_a_dick_1952__1_2 n373_a_dick_1952__1_3 PP-SCON n373_a_dick_1952__1->n373_a_dick_1952__1_3 n373_a_dick_1952__1_4 PUNC n373_a_dick_1952__1->n373_a_dick_1952__1_4 n373_a_dick_1952__1_5 PRN n373_a_dick_1952__1->n373_a_dick_1952__1_5 n373_a_dick_1952__1_6 PUNC n373_a_dick_1952__1->n373_a_dick_1952__1_6 n373_a_dick_1952__1_1_1 NS n373_a_dick_1952__1_1->n373_a_dick_1952__1_1_1 n373_a_dick_1952__1_1_1->n373_a_dick_1952__1_1_1_1 n373_a_dick_1952__1_2->n373_a_dick_1952__1_2_1 n373_a_dick_1952__1_3_1 IP-INF n373_a_dick_1952__1_3->n373_a_dick_1952__1_3_1 n373_a_dick_1952__1_3_1_1 ILYR n373_a_dick_1952__1_3_1->n373_a_dick_1952__1_3_1_1 n373_a_dick_1952__1_3_1_1_1 ILYR n373_a_dick_1952__1_3_1_1->n373_a_dick_1952__1_3_1_1_1 n373_a_dick_1952__1_3_1_1_2 PUNC n373_a_dick_1952__1_3_1_1->n373_a_dick_1952__1_3_1_1_2 n373_a_dick_1952__1_3_1_1_3 CONJP n373_a_dick_1952__1_3_1_1->n373_a_dick_1952__1_3_1_1_3 n373_a_dick_1952__1_3_1_1_1_1 TO n373_a_dick_1952__1_3_1_1_1->n373_a_dick_1952__1_3_1_1_1_1 n373_a_dick_1952__1_3_1_1_1_2 VB;_I_ n373_a_dick_1952__1_3_1_1_1->n373_a_dick_1952__1_3_1_1_1_2 n373_a_dick_1952__1_3_1_1_1_1->n373_a_dick_1952__1_3_1_1_1_1_1 n373_a_dick_1952__1_3_1_1_1_2->n373_a_dick_1952__1_3_1_1_1_2_1 n373_a_dick_1952__1_3_1_1_2->n373_a_dick_1952__1_3_1_1_2_1 n373_a_dick_1952__1_3_1_1_3_1 ILYR n373_a_dick_1952__1_3_1_1_3->n373_a_dick_1952__1_3_1_1_3_1 n373_a_dick_1952__1_3_1_1_3_1_1 TO n373_a_dick_1952__1_3_1_1_3_1->n373_a_dick_1952__1_3_1_1_3_1_1 n373_a_dick_1952__1_3_1_1_3_1_2 VB;_Tn_ n373_a_dick_1952__1_3_1_1_3_1->n373_a_dick_1952__1_3_1_1_3_1_2 n373_a_dick_1952__1_3_1_1_3_1_3 NP-OB1 n373_a_dick_1952__1_3_1_1_3_1->n373_a_dick_1952__1_3_1_1_3_1_3 n373_a_dick_1952__1_3_1_1_3_1_1->n373_a_dick_1952__1_3_1_1_3_1_1_1 n373_a_dick_1952__1_3_1_1_3_1_2->n373_a_dick_1952__1_3_1_1_3_1_2_1 n373_a_dick_1952__1_3_1_1_3_1_3_1 NS n373_a_dick_1952__1_3_1_1_3_1_3->n373_a_dick_1952__1_3_1_1_3_1_3_1 n373_a_dick_1952__1_3_1_1_3_1_3_1->n373_a_dick_1952__1_3_1_1_3_1_3_1_1 n373_a_dick_1952__1_4->n373_a_dick_1952__1_4_1 n373_a_dick_1952__1_5_1 NP n373_a_dick_1952__1_5->n373_a_dick_1952__1_5_1 n373_a_dick_1952__1_5_1_1 D n373_a_dick_1952__1_5_1->n373_a_dick_1952__1_5_1_1 n373_a_dick_1952__1_5_1_2 ADJP n373_a_dick_1952__1_5_1->n373_a_dick_1952__1_5_1_2 n373_a_dick_1952__1_5_1_3 N n373_a_dick_1952__1_5_1->n373_a_dick_1952__1_5_1_3 n373_a_dick_1952__1_5_1_1->n373_a_dick_1952__1_5_1_1_1 n373_a_dick_1952__1_5_1_2_1 ADJ n373_a_dick_1952__1_5_1_2->n373_a_dick_1952__1_5_1_2_1 n373_a_dick_1952__1_5_1_2_1->n373_a_dick_1952__1_5_1_2_1_1 n373_a_dick_1952__1_5_1_3->n373_a_dick_1952__1_5_1_3_1 n373_a_dick_1952__1_6->n373_a_dick_1952__1_6_1 
( (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))