TSPC 2_a_genieus

2_a_genieus
‘If you want to marry my daughter,’ said the king, ‘you must prove yourself worthy of her hand.’

( (IP-MAT (PULQ <lsquo>)
          (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ;{YOUNG_MAN} (PRO you;{you}))
                           (VBP;_Tt_ want;{want})
                           (IP-INF-OB1 (TO to;{to})
                                       (VB;_Tn_ marry;{marry})
                                       (NP-OB1;{PRINCESS} (NP-GEN;{KING} (PRO my;{my}))
                                                          (N daughter;{daughter})))))
          (PUNC ,)
          (PURQ <rsquo>)
          (PRN (IP-MAT (VBD;_Tr_ said;{say})
                       (NP-SBJ;{KING} (D the;{the})
                                      (N king;{king}))))
          (PUNC ,)
          (PURQ <lsquo>)
          (NP-SBJ;{YOUNG_MAN} (PRO you;{you}))
          (MD;_cat_Vi_ must;{must})
          (IP-PPL-CAT (VB;_Cn.a_ prove;{prove})
                      (NP-OB1;{YOUNG_MAN} (PNX yourself;{yourself}))
                      (ADJP-PRD (ADJ worthy;{worthy})
                                (PP (P-ROLE of;{of})
                                    (NP (NP-GEN;{PRINCESS} (PRO her;{she}))
                                        (N hand;{hand})))))
          (PUNC .)
          (PURQ <rsquo>))
  (ID 2_a_genieus))

arc(r_0002_0002__If,r_0002_0004__want,restriction).
arc(r_0002_0002__If,r_0002_0017__must,scope).
arc(r_0002_0004__want,r_0002_0003__you,arg0).
arc(r_0002_0004__want,r_0002_0006__marry,arg1).
arc(r_0002_0006__marry,r_0002_0003__you,arg0).
arc(r_0002_0006__marry,r_0002_0008__daughter,arg1).
arc(r_0002_0008__daughter,r_0002_0007__my,gen).
arc(r_0002_0011__said,r_0002_0012__the_r_0002_0013__king,arg0).
arc(r_0002_0017__must,r_0002_0011__said,prn).
arc(r_0002_0017__must,r_0002_0018__prove,scope).
arc(r_0002_0018__prove,r_0002_0003__you,arg0).
arc(r_0002_0018__prove,r_0002_0003__you,arg1).
arc(r_0002_0018__prove,r_0002_0020__worthy,prd).
arc(r_0002_0020__worthy,r_0002_0023__hand,r_0002_0021__of).
arc(r_0002_0023__hand,r_0002_0008__daughter,gen).

fof(formula,axiom,
    ! [R_0002_0004__WANT,R_0002_0003__YOU,R_0002_0007__MY,R_0002_0008__DAUGHTER,R_0002_0006__MARRY] :
      ( ( r_0002_0003__you(R_0002_0003__YOU)
        & r_0002_0007__my(R_0002_0007__MY)
        & r_0002_0004__want(R_0002_0004__WANT)
        & has_arg1(R_0002_0004__WANT,R_0002_0006__MARRY)
        & r_0002_0006__marry(R_0002_0006__MARRY)
        & has_arg1(R_0002_0006__MARRY,R_0002_0008__DAUGHTER)
        & r_0002_0008__daughter(R_0002_0008__DAUGHTER)
        & has_gen(R_0002_0008__DAUGHTER,R_0002_0007__MY)
        & has_arg0(R_0002_0006__MARRY,R_0002_0003__YOU)
        & has_arg0(R_0002_0004__WANT,R_0002_0003__YOU) )
     => ? [R_0002_0012__THE_R_0002_0013__KING,R_0002_0011__SAID,R_0002_0023__HAND,R_0002_0020__WORTHY,R_0002_0017__MUST_R_0002_0018__PROVE] :
          ( r_0002_0012__the_r_0002_0013__king(R_0002_0012__THE_R_0002_0013__KING)
          & r_0002_0017__must_r_0002_0018__prove(R_0002_0017__MUST_R_0002_0018__PROVE)
          & has_prd(R_0002_0017__MUST_R_0002_0018__PROVE,R_0002_0020__WORTHY)
          & r_0002_0020__worthy(R_0002_0020__WORTHY)
          & has_r_0002_0021__of(R_0002_0020__WORTHY,R_0002_0023__HAND)
          & r_0002_0023__hand(R_0002_0023__HAND)
          & has_gen(R_0002_0023__HAND,R_0002_0008__DAUGHTER)
          & has_arg1(R_0002_0017__MUST_R_0002_0018__PROVE,R_0002_0003__YOU)
          & has_arg0(R_0002_0017__MUST_R_0002_0018__PROVE,R_0002_0003__YOU)
          & has_prn(R_0002_0017__MUST_R_0002_0018__PROVE,R_0002_0011__SAID)
          & r_0002_0011__said(R_0002_0011__SAID)
          & has_arg0(R_0002_0011__SAID,R_0002_0012__THE_R_0002_0013__KING) ) ) ).