( (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))

arc(r_0373_0002__trained,r_0373_0001__Men,arg0).
arc(r_0373_0002__trained,r_0373_0010__a_r_0373_0012__profession,prn).
arc(r_0373_0004__fight,r_0373_0001__Men,arg0).
arc(r_0373_0007__lead,r_0373_0001__Men,arg0).
arc(r_0373_0007__lead,r_0373_0008__armies,arg1).
arc(r_0373_0010__a_r_0373_0012__profession,r_0373_0011__regular,attrib).
arc(z_0373_5004,r_0373_0002__trained,scope).
arc(z_0373_5004,z_0373_5006,restriction).
arc(z_0373_5006,r_0373_0004__fight,conj1).
arc(z_0373_5006,r_0373_0007__lead,conj2).

fof(formula,axiom,
    ? [R_0373_0001__MEN,R_0373_0011__REGULAR,R_0373_0010__A_R_0373_0012__PROFESSION,R_0373_0002__TRAINED,R_0373_0004__FIGHT,R_0373_0008__ARMIES,R_0373_0007__LEAD,Z_0373_5006,Z_0373_5004] :
      ( r_0373_0001__Men(R_0373_0001__MEN)
      & r_0373_0008__armies(R_0373_0008__ARMIES)
      & r_0373_0011__regular(R_0373_0011__REGULAR)
      & z_0373_5004(Z_0373_5004)
      & has_conj1(Z_0373_5004,Z_0373_5006)
      & z_0373_5006(Z_0373_5006)
      & has_conj2(Z_0373_5006,R_0373_0007__LEAD)
      & r_0373_0007__lead(R_0373_0007__LEAD)
      & has_arg1(R_0373_0007__LEAD,R_0373_0008__ARMIES)
      & has_arg0(R_0373_0007__LEAD,R_0373_0001__MEN)
      & has_conj1(Z_0373_5006,R_0373_0004__FIGHT)
      & r_0373_0004__fight(R_0373_0004__FIGHT)
      & has_arg0(R_0373_0004__FIGHT,R_0373_0001__MEN)
      & has_conj2(Z_0373_5004,R_0373_0002__TRAINED)
      & r_0373_0002__trained(R_0373_0002__TRAINED)
      & has_prn(R_0373_0002__TRAINED,R_0373_0010__A_R_0373_0012__PROFESSION)
      & r_0373_0010__a_r_0373_0012__profession(R_0373_0010__A_R_0373_0012__PROFESSION)
      & has_attrib(R_0373_0010__A_R_0373_0012__PROFESSION,R_0373_0011__REGULAR)
      & has_arg0(R_0373_0002__TRAINED,R_0373_0001__MEN) ) ).