arc(r_0014_0001__The_r_0014_0003__man, r_0014_0002__young, attrib7).
arc(r_0014_0004__might, r_0014_0005__have, scope).
arc(r_0014_0005__have, r_0014_0006__been, scope).
arc(r_0014_0006__been, r_0014_0001__The_r_0014_0003__man, arg0).
arc(r_0014_0006__been, r_0014_0008__and, prd).
arc(r_0014_0008__and, r_0014_0007__poor, conj1).
arc(r_0014_0008__and, r_0014_0009__weedy, conj2).
arc(r_0014_0011__but, r_0014_0004__might, conj1).
arc(r_0014_0011__but, r_0014_0017__gave, conj2).
arc(r_0014_0013__love, r_0014_0001__The_r_0014_0003__man, gen).
arc(r_0014_0013__love, r_0014_0015__the_r_0014_0016__princess, r_0014_0014__for).
arc(r_0014_0017__gave, r_0014_0001__The_r_0014_0003__man, arg2).
arc(r_0014_0017__gave, r_0014_0013__love, arg0).
arc(r_0014_0017__gave, r_0014_0019__courage, arg1).

fof(formula,axiom,
    ? [R_0014_0002__YOUNG,R_0014_0001__THE_R_0014_0003__MAN,R_0014_0007__POOR,R_0014_0009__WEEDY,R_0014_0008__AND,R_0014_0004__MIGHT_R_0014_0005__HAVE_R_0014_0006__BEEN,R_0014_0015__THE_R_0014_0016__PRINCESS,R_0014_0013__LOVE,R_0014_0019__COURAGE,R_0014_0017__GAVE,R_0014_0011__BUT] :
      ( r_0014_0002__young(R_0014_0002__YOUNG)
      & r_0014_0007__poor(R_0014_0007__POOR)
      & r_0014_0009__weedy(R_0014_0009__WEEDY)
      & r_0014_0015__the_r_0014_0016__princess(R_0014_0015__THE_R_0014_0016__PRINCESS)
      & r_0014_0019__courage(R_0014_0019__COURAGE)
      & r_0014_0011__but(R_0014_0011__BUT)
      & has_conj2(R_0014_0011__BUT,R_0014_0017__GAVE)
      & r_0014_0017__gave(R_0014_0017__GAVE)
      & has_arg1(R_0014_0017__GAVE,R_0014_0019__COURAGE)
      & has_arg0(R_0014_0017__GAVE,R_0014_0013__LOVE)
      & r_0014_0013__love(R_0014_0013__LOVE)
      & has_r_0014_0014__for(R_0014_0013__LOVE,R_0014_0015__THE_R_0014_0016__PRINCESS)
      & has_gen(R_0014_0013__LOVE,R_0014_0001__THE_R_0014_0003__MAN)
      & r_0014_0001__The_r_0014_0003__man(R_0014_0001__THE_R_0014_0003__MAN)
      & has_attrib7(R_0014_0001__THE_R_0014_0003__MAN,R_0014_0002__YOUNG)
      & has_arg2(R_0014_0017__GAVE,R_0014_0001__THE_R_0014_0003__MAN)
      & has_conj1(R_0014_0011__BUT,R_0014_0004__MIGHT_R_0014_0005__HAVE_R_0014_0006__BEEN)
      & r_0014_0004__might_r_0014_0005__have_r_0014_0006__been(R_0014_0004__MIGHT_R_0014_0005__HAVE_R_0014_0006__BEEN)
      & has_prd(R_0014_0004__MIGHT_R_0014_0005__HAVE_R_0014_0006__BEEN,R_0014_0008__AND)
      & r_0014_0008__and(R_0014_0008__AND)
      & has_conj2(R_0014_0008__AND,R_0014_0009__WEEDY)
      & has_conj1(R_0014_0008__AND,R_0014_0007__POOR)
      & has_arg0(R_0014_0004__MIGHT_R_0014_0005__HAVE_R_0014_0006__BEEN,R_0014_0001__THE_R_0014_0003__MAN) ) ).

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