( (IP-MAT (ILYR (ILYR (NP-SBJ;{YOUNG_MAN} (D The;{the})
                                          (ADJP (ADJ young;{young}))
                                          (N man;{man}))
                      (MD;_cat_Vi_ might;{might})
                      (IP-PPL-CAT (HV;_cat_Ve_ have;{have})
                                  (IP-PPL-CAT (BEN;_La_ been;{be})
                                              (ADJP-PRD (AJLYR (AJLYR (ADJ poor;{poor}))
                                                               (CONJP (CONJ and;{and})
                                                                      (AJLYR (ADJ weedy;{weedy}))))))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (NP-GEN;{YOUNG_MAN} (PRO his;{he}))
                                     (N love;{love})
                                     (PP (P-ROLE for;{for})
                                         (NP;{PRINCESS} (D the;{the})
                                                        (N princess;{princess}))))
                             (VBD;_Dn.n_ gave;{give})
                             (NP-OB2;{YOUNG_MAN} (PRO him;{he}))
                             (NP-OB1 (N courage;{courage})))))
          (PUNC .))
  (ID 13_a_genieus))

arc(r_0013_0001__The_r_0013_0003__man,r_0013_0002__young,attrib).
arc(r_0013_0004__might,r_0013_0005__have,scope).
arc(r_0013_0005__have,r_0013_0006__been,scope).
arc(r_0013_0006__been,r_0013_0001__The_r_0013_0003__man,arg0).
arc(r_0013_0006__been,r_0013_0008__and,prd).
arc(r_0013_0008__and,r_0013_0007__poor,conj1).
arc(r_0013_0008__and,r_0013_0009__weedy,conj2).
arc(r_0013_0011__but,r_0013_0004__might,conj1).
arc(r_0013_0011__but,r_0013_0017__gave,conj2).
arc(r_0013_0013__love,r_0013_0001__The_r_0013_0003__man,gen).
arc(r_0013_0013__love,r_0013_0015__the_r_0013_0016__princess,r_0013_0014__for).
arc(r_0013_0017__gave,r_0013_0001__The_r_0013_0003__man,arg2).
arc(r_0013_0017__gave,r_0013_0013__love,arg0).
arc(r_0013_0017__gave,r_0013_0019__courage,arg1).

fof(formula,axiom,
    ? [R_0013_0002__YOUNG,R_0013_0001__THE_R_0013_0003__MAN,R_0013_0007__POOR,R_0013_0009__WEEDY,R_0013_0008__AND,R_0013_0004__MIGHT_R_0013_0005__HAVE_R_0013_0006__BEEN,R_0013_0015__THE_R_0013_0016__PRINCESS,R_0013_0013__LOVE,R_0013_0019__COURAGE,R_0013_0017__GAVE,R_0013_0011__BUT] :
      ( r_0013_0002__young(R_0013_0002__YOUNG)
      & r_0013_0007__poor(R_0013_0007__POOR)
      & r_0013_0009__weedy(R_0013_0009__WEEDY)
      & r_0013_0015__the_r_0013_0016__princess(R_0013_0015__THE_R_0013_0016__PRINCESS)
      & r_0013_0019__courage(R_0013_0019__COURAGE)
      & r_0013_0011__but(R_0013_0011__BUT)
      & has_conj2(R_0013_0011__BUT,R_0013_0017__GAVE)
      & r_0013_0017__gave(R_0013_0017__GAVE)
      & has_arg1(R_0013_0017__GAVE,R_0013_0019__COURAGE)
      & has_arg0(R_0013_0017__GAVE,R_0013_0013__LOVE)
      & r_0013_0013__love(R_0013_0013__LOVE)
      & has_r_0013_0014__for(R_0013_0013__LOVE,R_0013_0015__THE_R_0013_0016__PRINCESS)
      & has_gen(R_0013_0013__LOVE,R_0013_0001__THE_R_0013_0003__MAN)
      & r_0013_0001__The_r_0013_0003__man(R_0013_0001__THE_R_0013_0003__MAN)
      & has_attrib(R_0013_0001__THE_R_0013_0003__MAN,R_0013_0002__YOUNG)
      & has_arg2(R_0013_0017__GAVE,R_0013_0001__THE_R_0013_0003__MAN)
      & has_conj1(R_0013_0011__BUT,R_0013_0004__MIGHT_R_0013_0005__HAVE_R_0013_0006__BEEN)
      & r_0013_0004__might_r_0013_0005__have_r_0013_0006__been(R_0013_0004__MIGHT_R_0013_0005__HAVE_R_0013_0006__BEEN)
      & has_prd(R_0013_0004__MIGHT_R_0013_0005__HAVE_R_0013_0006__BEEN,R_0013_0008__AND)
      & r_0013_0008__and(R_0013_0008__AND)
      & has_conj2(R_0013_0008__AND,R_0013_0009__WEEDY)
      & has_conj1(R_0013_0008__AND,R_0013_0007__POOR)
      & has_arg0(R_0013_0004__MIGHT_R_0013_0005__HAVE_R_0013_0006__BEEN,R_0013_0001__THE_R_0013_0003__MAN) ) ).