( (IP-MAT (PULQ <lsquo>)
          (ILYR (ILYR (NP-SBJ;{YOUNG_MAN} (PRO I;{I}))
                      (VBP;_Tn_ love;{love})
                      (NP-OB1;{PRINCESS} (D the;{the})
                                         (N princess;{princess})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{YOUNG_MAN} (PRO I;{I}))
                             (MD;_cat_Vi_ will;{will})
                             (IP-PPL-CAT (VB;_Tn_ brave;{brave})
                                         (NP-OB1 (D any;{any})
                                                 (N peril;{peril}))
                                         (PP-NIM (P-ROLE for;{for})
                                                 (NP;{PRINCESS} (PRO her;{she})))))))
          (PUNC !)
          (PURQ <rsquo>))
  (ID 4_a_genieus))

arc(r_0004_0003__love,r_0004_0002__I,arg0).
arc(r_0004_0003__love,r_0004_0004__the_r_0004_0005__princess,arg1).
arc(r_0004_0007__and,r_0004_0003__love,conj1).
arc(r_0004_0007__and,r_0004_0009__will,conj2).
arc(r_0004_0009__will,r_0004_0010__brave,scope).
arc(r_0004_0010__brave,r_0004_0002__I,arg0).
arc(r_0004_0010__brave,r_0004_0004__the_r_0004_0005__princess,r_0004_0013__for__nim).
arc(r_0004_0010__brave,r_0004_0011__any_r_0004_0012__peril,arg1).

fof(formula,axiom,
    ? [R_0004_0002__I,R_0004_0004__THE_R_0004_0005__PRINCESS,R_0004_0003__LOVE,R_0004_0011__ANY_R_0004_0012__PERIL,R_0004_0009__WILL_R_0004_0010__BRAVE,R_0004_0007__AND] :
      ( r_0004_0002__I(R_0004_0002__I)
      & r_0004_0004__the_r_0004_0005__princess(R_0004_0004__THE_R_0004_0005__PRINCESS)
      & r_0004_0011__any_r_0004_0012__peril(R_0004_0011__ANY_R_0004_0012__PERIL)
      & r_0004_0007__and(R_0004_0007__AND)
      & has_conj2(R_0004_0007__AND,R_0004_0009__WILL_R_0004_0010__BRAVE)
      & r_0004_0009__will_r_0004_0010__brave(R_0004_0009__WILL_R_0004_0010__BRAVE)
      & has_arg1(R_0004_0009__WILL_R_0004_0010__BRAVE,R_0004_0011__ANY_R_0004_0012__PERIL)
      & has_r_0004_0013__for__nim(R_0004_0009__WILL_R_0004_0010__BRAVE,R_0004_0004__THE_R_0004_0005__PRINCESS)
      & has_arg0(R_0004_0009__WILL_R_0004_0010__BRAVE,R_0004_0002__I)
      & has_conj1(R_0004_0007__AND,R_0004_0003__LOVE)
      & r_0004_0003__love(R_0004_0003__LOVE)
      & has_arg1(R_0004_0003__LOVE,R_0004_0004__THE_R_0004_0005__PRINCESS)
      & has_arg0(R_0004_0003__LOVE,R_0004_0002__I) ) ).