Context                Previous, Next                Top


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

%3 r_0002_0002__If If r_0002_0004__want want r_0002_0002__If->r_0002_0004__want [restriction] r_0002_0017__must must r_0002_0002__If->r_0002_0017__must [scope] r_0002_0003__you you r_0002_0004__want->r_0002_0003__you [arg0] r_0002_0005__to_r_0002_0006__marry to marry r_0002_0004__want->r_0002_0005__to_r_0002_0006__marry [arg1] r_0002_0018__prove prove r_0002_0017__must->r_0002_0018__prove [scope] r_0002_0005__to_r_0002_0006__marry->r_0002_0003__you [arg0] r_0002_0008__daughter daughter r_0002_0005__to_r_0002_0006__marry->r_0002_0008__daughter [arg1] r_0002_0007__my my r_0002_0008__daughter->r_0002_0007__my [gen] r_0002_0016__you you r_0002_0018__prove->r_0002_0016__you [arg0] r_0002_0018__prove->r_0002_0016__you [arg1] r_0002_0020__worthy worthy r_0002_0018__prove->r_0002_0020__worthy [prd] r_0002_0023__hand hand r_0002_0020__worthy->r_0002_0023__hand of r_0002_0023__hand->r_0002_0008__daughter [gen] 
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_0005__to_r_0002_0006__marry, arg1).
arc(r_0002_0005__to_r_0002_0006__marry, r_0002_0003__you, arg0).
arc(r_0002_0005__to_r_0002_0006__marry, r_0002_0008__daughter, arg1).
arc(r_0002_0008__daughter, r_0002_0007__my, gen).
arc(r_0002_0017__must, r_0002_0018__prove, scope).
arc(r_0002_0018__prove, r_0002_0016__you, arg0).
arc(r_0002_0018__prove, r_0002_0016__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).


%3 r_0002_0002__If If r_0002_0004__want want r_0002_0002__If->r_0002_0004__want [restriction] r_0002_0017__must_r_0002_0018__prove must prove r_0002_0002__If->r_0002_0017__must_r_0002_0018__prove [scope] r_0002_0003__you you r_0002_0004__want->r_0002_0003__you [arg0] r_0002_0005__to_r_0002_0006__marry to marry r_0002_0004__want->r_0002_0005__to_r_0002_0006__marry [arg1] r_0002_0016__you you r_0002_0017__must_r_0002_0018__prove->r_0002_0016__you [arg0] r_0002_0017__must_r_0002_0018__prove->r_0002_0016__you [arg1] r_0002_0020__worthy worthy r_0002_0017__must_r_0002_0018__prove->r_0002_0020__worthy [prd] r_0002_0005__to_r_0002_0006__marry->r_0002_0003__you [arg0] r_0002_0008__daughter daughter r_0002_0005__to_r_0002_0006__marry->r_0002_0008__daughter [arg1] r_0002_0007__my my r_0002_0008__daughter->r_0002_0007__my [gen] r_0002_0023__hand hand r_0002_0020__worthy->r_0002_0023__hand of r_0002_0023__hand->r_0002_0008__daughter [gen] 
fof(formula,axiom,
    ! [R_2_4_WANT,R_2_5_TO_MARRY,R_2_3_YOU,R_2_8_DAUGHTER,R_2_7_MY] :
      ( ( you(R_2_3_YOU)
        & my(R_2_7_MY)
        & want(R_2_4_WANT,R_2_3_YOU,R_2_5_TO_MARRY)
        & to_marry(R_2_5_TO_MARRY,R_2_3_YOU,R_2_8_DAUGHTER)
        & daughter(R_2_8_DAUGHTER)
        & gen(R_2_8_DAUGHTER,R_2_7_MY) )
     => ? [R_2_17_MUST_PROVE,R_2_16_YOU,R_2_20_WORTHY,R_2_23_HAND] :
          ( you(R_2_16_YOU)
          & must_prove(R_2_17_MUST_PROVE,R_2_16_YOU,R_2_16_YOU,R_2_20_WORTHY)
          & worthy(R_2_20_WORTHY)
          & of(R_2_20_WORTHY,R_2_23_HAND)
          & hand(R_2_23_HAND)
          & gen(R_2_23_HAND,R_2_8_DAUGHTER) ) ) ).


n2_a_genieus n2_a_genieus_3 <lsquo> n2_a_genieus_6 If n2_a_genieus_10 you n2_a_genieus_12 want n2_a_genieus_15 to n2_a_genieus_17 marry n2_a_genieus_21 my n2_a_genieus_23 daughter n2_a_genieus_25 , n2_a_genieus_27 <rsquo> n2_a_genieus_31 said n2_a_genieus_34 the n2_a_genieus_36 king n2_a_genieus_38 , n2_a_genieus_40 <lsquo> n2_a_genieus_43 you n2_a_genieus_45 must n2_a_genieus_48 prove n2_a_genieus_51 yourself n2_a_genieus_54 worthy n2_a_genieus_57 of n2_a_genieus_61 her n2_a_genieus_63 hand n2_a_genieus_65 . n2_a_genieus_67 <rsquo> n2_a_genieus_1 IP-MAT n2_a_genieus_2 PULQ n2_a_genieus_1->n2_a_genieus_2 n2_a_genieus_4 PP-SCON n2_a_genieus_1->n2_a_genieus_4 n2_a_genieus_24 PUNC n2_a_genieus_1->n2_a_genieus_24 n2_a_genieus_26 PURQ n2_a_genieus_1->n2_a_genieus_26 n2_a_genieus_28 PRN n2_a_genieus_1->n2_a_genieus_28 n2_a_genieus_37 PUNC n2_a_genieus_1->n2_a_genieus_37 n2_a_genieus_39 PURQ n2_a_genieus_1->n2_a_genieus_39 n2_a_genieus_41 NP-SBJ n2_a_genieus_1->n2_a_genieus_41 n2_a_genieus_44 MD;_cat_Vi_ n2_a_genieus_1->n2_a_genieus_44 n2_a_genieus_46 IP-PPL-CAT n2_a_genieus_1->n2_a_genieus_46 n2_a_genieus_64 PUNC n2_a_genieus_1->n2_a_genieus_64 n2_a_genieus_66 PURQ n2_a_genieus_1->n2_a_genieus_66 n2_a_genieus_2->n2_a_genieus_3 n2_a_genieus_5 P-CONN n2_a_genieus_4->n2_a_genieus_5 n2_a_genieus_7 IP-ADV n2_a_genieus_4->n2_a_genieus_7 n2_a_genieus_5->n2_a_genieus_6 n2_a_genieus_8 NP-SBJ n2_a_genieus_7->n2_a_genieus_8 n2_a_genieus_11 VBP;_Tt_ n2_a_genieus_7->n2_a_genieus_11 n2_a_genieus_13 IP-INF-OB1 n2_a_genieus_7->n2_a_genieus_13 n2_a_genieus_9 PRO n2_a_genieus_8->n2_a_genieus_9 n2_a_genieus_9->n2_a_genieus_10 n2_a_genieus_11->n2_a_genieus_12 n2_a_genieus_14 TO n2_a_genieus_13->n2_a_genieus_14 n2_a_genieus_16 VB;_Tn_ n2_a_genieus_13->n2_a_genieus_16 n2_a_genieus_18 NP-OB1 n2_a_genieus_13->n2_a_genieus_18 n2_a_genieus_14->n2_a_genieus_15 n2_a_genieus_16->n2_a_genieus_17 n2_a_genieus_19 NP-GEN n2_a_genieus_18->n2_a_genieus_19 n2_a_genieus_22 N n2_a_genieus_18->n2_a_genieus_22 n2_a_genieus_20 PRO n2_a_genieus_19->n2_a_genieus_20 n2_a_genieus_20->n2_a_genieus_21 n2_a_genieus_22->n2_a_genieus_23 n2_a_genieus_24->n2_a_genieus_25 n2_a_genieus_26->n2_a_genieus_27 n2_a_genieus_29 IP-MAT n2_a_genieus_28->n2_a_genieus_29 n2_a_genieus_30 VBD;_Tr_ n2_a_genieus_29->n2_a_genieus_30 n2_a_genieus_32 NP-SBJ n2_a_genieus_29->n2_a_genieus_32 n2_a_genieus_30->n2_a_genieus_31 n2_a_genieus_33 D n2_a_genieus_32->n2_a_genieus_33 n2_a_genieus_35 N n2_a_genieus_32->n2_a_genieus_35 n2_a_genieus_33->n2_a_genieus_34 n2_a_genieus_35->n2_a_genieus_36 n2_a_genieus_37->n2_a_genieus_38 n2_a_genieus_39->n2_a_genieus_40 n2_a_genieus_42 PRO n2_a_genieus_41->n2_a_genieus_42 n2_a_genieus_42->n2_a_genieus_43 n2_a_genieus_44->n2_a_genieus_45 n2_a_genieus_47 VB;_Cn.a_ n2_a_genieus_46->n2_a_genieus_47 n2_a_genieus_49 NP-OB1 n2_a_genieus_46->n2_a_genieus_49 n2_a_genieus_52 ADJP-PRD n2_a_genieus_46->n2_a_genieus_52 n2_a_genieus_47->n2_a_genieus_48 n2_a_genieus_50 PNX n2_a_genieus_49->n2_a_genieus_50 n2_a_genieus_50->n2_a_genieus_51 n2_a_genieus_53 ADJ n2_a_genieus_52->n2_a_genieus_53 n2_a_genieus_55 PP n2_a_genieus_52->n2_a_genieus_55 n2_a_genieus_53->n2_a_genieus_54 n2_a_genieus_56 P-ROLE n2_a_genieus_55->n2_a_genieus_56 n2_a_genieus_58 NP n2_a_genieus_55->n2_a_genieus_58 n2_a_genieus_56->n2_a_genieus_57 n2_a_genieus_59 NP-GEN n2_a_genieus_58->n2_a_genieus_59 n2_a_genieus_62 N n2_a_genieus_58->n2_a_genieus_62 n2_a_genieus_60 PRO n2_a_genieus_59->n2_a_genieus_60 n2_a_genieus_60->n2_a_genieus_61 n2_a_genieus_62->n2_a_genieus_63 n2_a_genieus_64->n2_a_genieus_65 n2_a_genieus_66->n2_a_genieus_67 
( (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))