arc(r_0037_0001__And_r_0037_0003__claim, r_0037_0002__I, arg0).
arc(r_0037_0001__And_r_0037_0003__claim, r_0037_0007__hand, arg1).
arc(r_0037_0005__daughter_r_0037_0006___apos_s, r_0037_0004__your, gen).
arc(r_0037_0007__hand, r_0037_0005__daughter_r_0037_0006___apos_s, gen).
arc(r_0037_0007__hand, r_0037_0009__marriage, r_0037_0008__in).

fof(formula,axiom,
    ? [R_0037_0002__I,R_0037_0004__YOUR,R_0037_0005__DAUGHTER_R_0037_0006___APOS_S,R_0037_0009__MARRIAGE,R_0037_0007__HAND,R_0037_0001__AND_R_0037_0003__CLAIM] :
      ( r_0037_0002__I(R_0037_0002__I)
      & r_0037_0004__your(R_0037_0004__YOUR)
      & r_0037_0009__marriage(R_0037_0009__MARRIAGE)
      & r_0037_0001__And_r_0037_0003__claim(R_0037_0001__AND_R_0037_0003__CLAIM)
      & has_arg1(R_0037_0001__AND_R_0037_0003__CLAIM,R_0037_0007__HAND)
      & r_0037_0007__hand(R_0037_0007__HAND)
      & has_r_0037_0008__in(R_0037_0007__HAND,R_0037_0009__MARRIAGE)
      & has_gen(R_0037_0007__HAND,R_0037_0005__DAUGHTER_R_0037_0006___APOS_S)
      & r_0037_0005__daughter_r_0037_0006___apos_s(R_0037_0005__DAUGHTER_R_0037_0006___APOS_S)
      & has_gen(R_0037_0005__DAUGHTER_R_0037_0006___APOS_S,R_0037_0004__YOUR)
      & has_arg0(R_0037_0001__AND_R_0037_0003__CLAIM,R_0037_0002__I) ) ).

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