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.’
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).
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) ) ).
( (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))