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,
    ? [R_0373_0001__MEN,R_0373_0002__TRAINED,R_0373_0003__TO_R_0373_0004__FIGHT,R_0373_0008__ARMIES,R_0373_0006__TO_R_0373_0007__LEAD,Z_000_373_A_DICK_1952_9,Z_000_373_A_DICK_1952_7] :
      ( r_0373_0001__Men(R_0373_0001__MEN)
      & r_0373_0008__armies(R_0373_0008__ARMIES)
      & z_000_373_a_dick_1952_7(Z_000_373_A_DICK_1952_7)
      & has_conj1(Z_000_373_A_DICK_1952_7,Z_000_373_A_DICK_1952_9)
      & z_000_373_a_dick_1952_9(Z_000_373_A_DICK_1952_9)
      & has_conj2(Z_000_373_A_DICK_1952_9,R_0373_0006__TO_R_0373_0007__LEAD)
      & r_0373_0006__to_r_0373_0007__lead(R_0373_0006__TO_R_0373_0007__LEAD)
      & has_arg1(R_0373_0006__TO_R_0373_0007__LEAD,R_0373_0008__ARMIES)
      & has_arg0(R_0373_0006__TO_R_0373_0007__LEAD,R_0373_0001__MEN)
      & has_conj1(Z_000_373_A_DICK_1952_9,R_0373_0003__TO_R_0373_0004__FIGHT)
      & r_0373_0003__to_r_0373_0004__fight(R_0373_0003__TO_R_0373_0004__FIGHT)
      & has_arg0(R_0373_0003__TO_R_0373_0004__FIGHT,R_0373_0001__MEN)
      & has_conj2(Z_000_373_A_DICK_1952_7,R_0373_0002__TRAINED)
      & r_0373_0002__trained(R_0373_0002__TRAINED)
      & has_arg0(R_0373_0002__TRAINED,R_0373_0001__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))