( (IP-MAT (NP-SBJ;{PERSONS} (PRO They;{they}))
          (ADVP-NIM (ADV always;{always}))
          (VBP;_Tt_ need;{need})
          (IP-INF-OB1 (TO to;{to})
                      (HV;_VP24B_ have;{have})
                      (NP-OB1 (NS things;{thing}))
                      (IP-PPL-PRD (NP-LGS *)
                                  (VVN;_Tn_ explained;{explain})))
          (PUNC .))
  (ID 17_a_saint_exupery_1943))

arc(r_0017_0003__need,r_0017_0001__They,arg0).
arc(r_0017_0003__need,r_0017_0002__always,nim).
arc(r_0017_0003__need,r_0017_0005__have,arg1).
arc(r_0017_0005__have,r_0017_0001__They,arg0).
arc(r_0017_0005__have,r_0017_0006__things,arg1).
arc(r_0017_0005__have,r_0017_0007__explained,prd).
arc(r_0017_0007__explained,z_0017_5005,arg1).
arc(r_0017_0007__explained,z_0017_5006___star_,arg0).

fof(formula,axiom,
    ? [R_0017_0001__THEY,R_0017_0002__ALWAYS,R_0017_0006__THINGS,Z_0017_5005,Z_0017_5006___STAR_,R_0017_0007__EXPLAINED,R_0017_0005__HAVE,R_0017_0003__NEED] :
      ( r_0017_0001__They(R_0017_0001__THEY)
      & r_0017_0002__always(R_0017_0002__ALWAYS)
      & r_0017_0006__things(R_0017_0006__THINGS)
      & z_0017_5005(Z_0017_5005)
      & z_0017_5006___star_(Z_0017_5006___STAR_)
      & r_0017_0003__need(R_0017_0003__NEED)
      & has_arg1(R_0017_0003__NEED,R_0017_0005__HAVE)
      & r_0017_0005__have(R_0017_0005__HAVE)
      & has_prd(R_0017_0005__HAVE,R_0017_0007__EXPLAINED)
      & r_0017_0007__explained(R_0017_0007__EXPLAINED)
      & has_arg0(R_0017_0007__EXPLAINED,Z_0017_5006___STAR_)
      & has_arg1(R_0017_0007__EXPLAINED,Z_0017_5005)
      & has_arg1(R_0017_0005__HAVE,R_0017_0006__THINGS)
      & has_arg0(R_0017_0005__HAVE,R_0017_0001__THEY)
      & has_nim(R_0017_0003__NEED,R_0017_0002__ALWAYS)
      & has_arg0(R_0017_0003__NEED,R_0017_0001__THEY) ) ).