Context                Previous, Next                Top


6_a_genieus
‘Right then,’ said the king. ‘You must climb to the top of the Ice Mountain, and fetch the magic lamp that a wicked rival stole from me.’

%3 r_0006_0002__Right_then_r_0006_0011__must Right then must r_0006_0021__and and r_0006_0002__Right_then_r_0006_0011__must->r_0006_0021__and [scope] r_0006_0012__climb climb r_0006_0021__and->r_0006_0012__climb [conj1] r_0006_0022__fetch fetch r_0006_0021__and->r_0006_0022__fetch [conj2] r_0006_0010__You You r_0006_0012__climb->r_0006_0010__You [arg0] r_0006_0014__the_r_0006_0015__top the top r_0006_0012__climb->r_0006_0014__the_r_0006_0015__top to [clr] r_0006_0017__the_r_0006_0018__Ice_r_0006_0019__Mountain the Ice Mountain r_0006_0014__the_r_0006_0015__top->r_0006_0017__the_r_0006_0018__Ice_r_0006_0019__Mountain of r_0006_0022__fetch->r_0006_0010__You [arg0] r_0006_0023__the_r_0006_0024__magic_r_0006_0025__lamp the magic lamp r_0006_0022__fetch->r_0006_0023__the_r_0006_0024__magic_r_0006_0025__lamp [arg1] r_0006_0026__that_r_0006_0030__stole that stole r_0006_0026__that_r_0006_0030__stole->r_0006_0023__the_r_0006_0024__magic_r_0006_0025__lamp [arg1] r_0006_0027__a_r_0006_0029__rival a rival r_0006_0026__that_r_0006_0030__stole->r_0006_0027__a_r_0006_0029__rival [arg0] r_0006_0032__me me r_0006_0026__that_r_0006_0030__stole->r_0006_0032__me from [clr] r_0006_0028__wicked wicked r_0006_0027__a_r_0006_0029__rival->r_0006_0028__wicked [attrib] 
arc(r_0006_0002__Right_then_r_0006_0011__must, r_0006_0021__and, scope).
arc(r_0006_0012__climb, r_0006_0010__You, arg0).
arc(r_0006_0012__climb, r_0006_0014__the_r_0006_0015__top, r_0006_0013__to_clr36).
arc(r_0006_0014__the_r_0006_0015__top, r_0006_0017__the_r_0006_0018__Ice_r_0006_0019__Mountain, r_0006_0016__of).
arc(r_0006_0021__and, r_0006_0012__climb, conj1).
arc(r_0006_0021__and, r_0006_0022__fetch, conj2).
arc(r_0006_0022__fetch, r_0006_0010__You, arg0).
arc(r_0006_0022__fetch, r_0006_0023__the_r_0006_0024__magic_r_0006_0025__lamp, arg1).
arc(r_0006_0026__that_r_0006_0030__stole, r_0006_0023__the_r_0006_0024__magic_r_0006_0025__lamp, arg1).
arc(r_0006_0026__that_r_0006_0030__stole, r_0006_0027__a_r_0006_0029__rival, arg0).
arc(r_0006_0026__that_r_0006_0030__stole, r_0006_0032__me, r_0006_0031__from_clr84).
arc(r_0006_0027__a_r_0006_0029__rival, r_0006_0028__wicked, attrib74).


%3 r_0006_0002__Right_then_r_0006_0011__must Right then must r_0006_0021__and and r_0006_0002__Right_then_r_0006_0011__must->r_0006_0021__and [keep_scope] r_0006_0012__climb climb r_0006_0021__and->r_0006_0012__climb [conj1] r_0006_0022__fetch fetch r_0006_0021__and->r_0006_0022__fetch [conj2] r_0006_0010__You You r_0006_0012__climb->r_0006_0010__You [arg0] r_0006_0014__the_r_0006_0015__top the top r_0006_0012__climb->r_0006_0014__the_r_0006_0015__top to [clr] r_0006_0017__the_r_0006_0018__Ice_r_0006_0019__Mountain the Ice Mountain r_0006_0014__the_r_0006_0015__top->r_0006_0017__the_r_0006_0018__Ice_r_0006_0019__Mountain of r_0006_0022__fetch->r_0006_0010__You [arg0] r_0006_0023__the_r_0006_0024__magic_r_0006_0025__lamp the magic lamp r_0006_0022__fetch->r_0006_0023__the_r_0006_0024__magic_r_0006_0025__lamp [arg1] r_0006_0026__that_r_0006_0030__stole that stole r_0006_0026__that_r_0006_0030__stole->r_0006_0023__the_r_0006_0024__magic_r_0006_0025__lamp [arg1] r_0006_0027__a_r_0006_0029__rival a rival r_0006_0026__that_r_0006_0030__stole->r_0006_0027__a_r_0006_0029__rival [arg0] r_0006_0032__me me r_0006_0026__that_r_0006_0030__stole->r_0006_0032__me from [clr] r_0006_0028__wicked wicked r_0006_0027__a_r_0006_0029__rival->r_0006_0028__wicked [attrib] 
fof(formula,axiom,
    ? [R_6_26_THAT_STOLE,R_6_27_A_RIVAL,R_6_28_WICKED,R_6_23_THE_MAGIC_LAMP,R_6_32_ME] :
      ( wicked(R_6_28_WICKED)
      & the_magic_lamp(R_6_23_THE_MAGIC_LAMP)
      & me(R_6_32_ME)
      & ~ ? [R_6_21_AND,R_6_12_CLIMB,R_6_14_THE_TOP,R_6_17_THE_ICE_MOUNTAIN,R_6_22_FETCH,R_6_10_YOU] :
            ( the_Ice_Mountain(R_6_17_THE_ICE_MOUNTAIN)
            & you(R_6_10_YOU)
            & and(R_6_21_AND)
            & conj1(R_6_21_AND,R_6_12_CLIMB)
            & climb(R_6_12_CLIMB,R_6_10_YOU)
            & to_clr36(R_6_12_CLIMB,R_6_14_THE_TOP)
            & the_top(R_6_14_THE_TOP)
            & of(R_6_14_THE_TOP,R_6_17_THE_ICE_MOUNTAIN)
            & conj2(R_6_21_AND,R_6_22_FETCH)
            & fetch(R_6_22_FETCH,R_6_10_YOU,R_6_23_THE_MAGIC_LAMP) )
      & that_stole(R_6_26_THAT_STOLE,R_6_27_A_RIVAL,R_6_23_THE_MAGIC_LAMP)
      & a_rival(R_6_27_A_RIVAL)
      & attrib74(R_6_27_A_RIVAL,R_6_28_WICKED)
      & from_clr84(R_6_26_THAT_STOLE,R_6_32_ME) ) ).


n6_a_genieus n6_a_genieus_3 <lsquo> n6_a_genieus_5 Right_then n6_a_genieus_7 , n6_a_genieus_9 <rsquo> n6_a_genieus_13 said n6_a_genieus_16 the n6_a_genieus_18 king n6_a_genieus_20 . n6_a_genieus_22 <lsquo> n6_a_genieus_25 You n6_a_genieus_27 must n6_a_genieus_32 climb n6_a_genieus_35 to n6_a_genieus_38 the n6_a_genieus_40 top n6_a_genieus_43 of n6_a_genieus_46 the n6_a_genieus_48 Ice n6_a_genieus_50 Mountain n6_a_genieus_52 , n6_a_genieus_55 and n6_a_genieus_58 fetch n6_a_genieus_61 the n6_a_genieus_63 magic n6_a_genieus_65 lamp n6_a_genieus_68 that n6_a_genieus_70 *T* n6_a_genieus_73 a n6_a_genieus_76 wicked n6_a_genieus_78 rival n6_a_genieus_80 stole n6_a_genieus_83 from n6_a_genieus_86 me n6_a_genieus_88 . n6_a_genieus_90 <rsquo> n6_a_genieus_1 IP-MAT n6_a_genieus_2 PULQ n6_a_genieus_1->n6_a_genieus_2 n6_a_genieus_4 REACT n6_a_genieus_1->n6_a_genieus_4 n6_a_genieus_6 PUNC n6_a_genieus_1->n6_a_genieus_6 n6_a_genieus_8 PURQ n6_a_genieus_1->n6_a_genieus_8 n6_a_genieus_10 PRN n6_a_genieus_1->n6_a_genieus_10 n6_a_genieus_21 PULQ n6_a_genieus_1->n6_a_genieus_21 n6_a_genieus_23 NP-SBJ n6_a_genieus_1->n6_a_genieus_23 n6_a_genieus_26 MD;_cat_Vi_ n6_a_genieus_1->n6_a_genieus_26 n6_a_genieus_28 IP-PPL-CAT n6_a_genieus_1->n6_a_genieus_28 n6_a_genieus_87 PUNC n6_a_genieus_1->n6_a_genieus_87 n6_a_genieus_89 PURQ n6_a_genieus_1->n6_a_genieus_89 n6_a_genieus_2->n6_a_genieus_3 n6_a_genieus_4->n6_a_genieus_5 n6_a_genieus_6->n6_a_genieus_7 n6_a_genieus_8->n6_a_genieus_9 n6_a_genieus_11 IP-MAT n6_a_genieus_10->n6_a_genieus_11 n6_a_genieus_12 VBD;_Tf_ n6_a_genieus_11->n6_a_genieus_12 n6_a_genieus_14 NP-SBJ n6_a_genieus_11->n6_a_genieus_14 n6_a_genieus_19 PUNC n6_a_genieus_11->n6_a_genieus_19 n6_a_genieus_12->n6_a_genieus_13 n6_a_genieus_15 D n6_a_genieus_14->n6_a_genieus_15 n6_a_genieus_17 N n6_a_genieus_14->n6_a_genieus_17 n6_a_genieus_15->n6_a_genieus_16 n6_a_genieus_17->n6_a_genieus_18 n6_a_genieus_19->n6_a_genieus_20 n6_a_genieus_21->n6_a_genieus_22 n6_a_genieus_24 PRO n6_a_genieus_23->n6_a_genieus_24 n6_a_genieus_24->n6_a_genieus_25 n6_a_genieus_26->n6_a_genieus_27 n6_a_genieus_29 ILYR n6_a_genieus_28->n6_a_genieus_29 n6_a_genieus_30 ILYR n6_a_genieus_29->n6_a_genieus_30 n6_a_genieus_51 PUNC n6_a_genieus_29->n6_a_genieus_51 n6_a_genieus_53 CONJP n6_a_genieus_29->n6_a_genieus_53 n6_a_genieus_31 VB;_Ipr_ n6_a_genieus_30->n6_a_genieus_31 n6_a_genieus_33 PP-CLR n6_a_genieus_30->n6_a_genieus_33 n6_a_genieus_31->n6_a_genieus_32 n6_a_genieus_34 P-ROLE n6_a_genieus_33->n6_a_genieus_34 n6_a_genieus_36 NP n6_a_genieus_33->n6_a_genieus_36 n6_a_genieus_34->n6_a_genieus_35 n6_a_genieus_37 D n6_a_genieus_36->n6_a_genieus_37 n6_a_genieus_39 N n6_a_genieus_36->n6_a_genieus_39 n6_a_genieus_41 PP n6_a_genieus_36->n6_a_genieus_41 n6_a_genieus_37->n6_a_genieus_38 n6_a_genieus_39->n6_a_genieus_40 n6_a_genieus_42 P-ROLE n6_a_genieus_41->n6_a_genieus_42 n6_a_genieus_44 NP n6_a_genieus_41->n6_a_genieus_44 n6_a_genieus_42->n6_a_genieus_43 n6_a_genieus_45 D n6_a_genieus_44->n6_a_genieus_45 n6_a_genieus_47 NPR n6_a_genieus_44->n6_a_genieus_47 n6_a_genieus_49 NPR n6_a_genieus_44->n6_a_genieus_49 n6_a_genieus_45->n6_a_genieus_46 n6_a_genieus_47->n6_a_genieus_48 n6_a_genieus_49->n6_a_genieus_50 n6_a_genieus_51->n6_a_genieus_52 n6_a_genieus_54 CONJ n6_a_genieus_53->n6_a_genieus_54 n6_a_genieus_56 ILYR n6_a_genieus_53->n6_a_genieus_56 n6_a_genieus_54->n6_a_genieus_55 n6_a_genieus_57 VB;_Tn_ n6_a_genieus_56->n6_a_genieus_57 n6_a_genieus_59 NP-OB1 n6_a_genieus_56->n6_a_genieus_59 n6_a_genieus_57->n6_a_genieus_58 n6_a_genieus_60 D n6_a_genieus_59->n6_a_genieus_60 n6_a_genieus_62 N n6_a_genieus_59->n6_a_genieus_62 n6_a_genieus_64 N n6_a_genieus_59->n6_a_genieus_64 n6_a_genieus_66 IP-REL n6_a_genieus_59->n6_a_genieus_66 n6_a_genieus_60->n6_a_genieus_61 n6_a_genieus_62->n6_a_genieus_63 n6_a_genieus_64->n6_a_genieus_65 n6_a_genieus_67 C n6_a_genieus_66->n6_a_genieus_67 n6_a_genieus_69 NP-OB1 n6_a_genieus_66->n6_a_genieus_69 n6_a_genieus_71 NP-SBJ n6_a_genieus_66->n6_a_genieus_71 n6_a_genieus_79 VBD;_Tn.pr_ n6_a_genieus_66->n6_a_genieus_79 n6_a_genieus_81 PP-CLR n6_a_genieus_66->n6_a_genieus_81 n6_a_genieus_67->n6_a_genieus_68 n6_a_genieus_69->n6_a_genieus_70 n6_a_genieus_72 D n6_a_genieus_71->n6_a_genieus_72 n6_a_genieus_74 ADJP n6_a_genieus_71->n6_a_genieus_74 n6_a_genieus_77 N n6_a_genieus_71->n6_a_genieus_77 n6_a_genieus_72->n6_a_genieus_73 n6_a_genieus_75 ADJ n6_a_genieus_74->n6_a_genieus_75 n6_a_genieus_75->n6_a_genieus_76 n6_a_genieus_77->n6_a_genieus_78 n6_a_genieus_79->n6_a_genieus_80 n6_a_genieus_82 P-ROLE n6_a_genieus_81->n6_a_genieus_82 n6_a_genieus_84 NP n6_a_genieus_81->n6_a_genieus_84 n6_a_genieus_82->n6_a_genieus_83 n6_a_genieus_85 PRO n6_a_genieus_84->n6_a_genieus_85 n6_a_genieus_85->n6_a_genieus_86 n6_a_genieus_87->n6_a_genieus_88 n6_a_genieus_89->n6_a_genieus_90 
( (IP-MAT (PULQ <lsquo>)
          (REACT Right_then)
          (PUNC ,)
          (PURQ <rsquo>)
          (PRN (IP-MAT (VBD;_Tf_ said;{say})
                       (NP-SBJ;{KING} (D the;{the})
                                      (N king;{king}))
                       (PUNC .)))
          (PULQ <lsquo>)
          (NP-SBJ (PRO You;{you}))
          (MD;_cat_Vi_ must;{must})
          (IP-PPL-CAT (ILYR (ILYR (VB;_Ipr_ climb;{climb[to]})
                                  (PP-CLR (P-ROLE to;{to})
                                          (NP (D the;{the})
                                              (N top;{top})
                                              (PP (P-ROLE of;{of})
                                                  (NP (D the;{the})
                                                      (NPR Ice;{Ice})
                                                      (NPR Mountain;{Mountain}))))))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;_Tn_ fetch;{fetch})
                                         (NP-OB1 (D the;{the})
                                                 (N magic;{magic})
                                                 (N lamp;{lamp})
                                                 (IP-REL (C that;{that})
                                                         (NP-OB1 *T*)
                                                         (NP-SBJ (D a;{a})
                                                                 (ADJP (ADJ wicked;{wicked}))
                                                                 (N rival;{rival}))
                                                         (VBD;_Tn.pr_ stole;{steal})
                                                         (PP-CLR (P-ROLE from;{from})
                                                                 (NP (PRO me;{I})))))))))
          (PUNC .)
          (PURQ <rsquo>))
  (ID 6_a_genieus))