( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ;{GENIE} (PRO I;{I}))
          (VBP;_Tn_ claim;{claim})
          (NP-OB1 (NP-GEN;{PRINCESS} (NP-GEN;{KING} (PRO your;{you}))
                                     (N daughter;{daughter})
                                     (GENM <apos>s))
                  (N hand;{hand})
                  (PP (P-ROLE in;{in})
                      (NP (N marriage;{marriage}))))
          (PUNC !)
          (PULQ <rsquo>))
  (ID 35_a_genieus))

arc(r_0035_0003__claim,r_0035_0002__I,arg0).
arc(r_0035_0003__claim,r_0035_0007__hand,arg1).
arc(r_0035_0005__daughter,r_0035_0004__your,gen).
arc(r_0035_0007__hand,r_0035_0005__daughter,gen).
arc(r_0035_0007__hand,r_0035_0009__marriage,r_0035_0008__in).

fof(formula,axiom,
    ? [R_0035_0002__I,R_0035_0004__YOUR,R_0035_0005__DAUGHTER,R_0035_0009__MARRIAGE,R_0035_0007__HAND,R_0035_0003__CLAIM] :
      ( r_0035_0002__I(R_0035_0002__I)
      & r_0035_0004__your(R_0035_0004__YOUR)
      & r_0035_0009__marriage(R_0035_0009__MARRIAGE)
      & r_0035_0003__claim(R_0035_0003__CLAIM)
      & has_arg1(R_0035_0003__CLAIM,R_0035_0007__HAND)
      & r_0035_0007__hand(R_0035_0007__HAND)
      & has_r_0035_0008__in(R_0035_0007__HAND,R_0035_0009__MARRIAGE)
      & has_gen(R_0035_0007__HAND,R_0035_0005__DAUGHTER)
      & r_0035_0005__daughter(R_0035_0005__DAUGHTER)
      & has_gen(R_0035_0005__DAUGHTER,R_0035_0004__YOUR)
      & has_arg0(R_0035_0003__CLAIM,R_0035_0002__I) ) ).