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_0006_0023__THE_R_0006_0024__MAGIC_R_0006_0025__LAMP,R_0006_0028__WICKED,R_0006_0027__A_R_0006_0029__RIVAL,R_0006_0032__ME,R_0006_0026__THAT_R_0006_0030__STOLE,R_0006_0010__YOU,R_0006_0017__THE_R_0006_0018__ICE_R_0006_0019__MOUNTAIN,R_0006_0014__THE_R_0006_0015__TOP,R_0006_0012__CLIMB,R_0006_0022__FETCH,R_0006_0021__AND,R_0006_0002__RIGHT_THEN_R_0006_0011__MUST] :
( r_0006_0010__You(R_0006_0010__YOU)
& r_0006_0017__the_r_0006_0018__Ice_r_0006_0019__Mountain(R_0006_0017__THE_R_0006_0018__ICE_R_0006_0019__MOUNTAIN)
& r_0006_0023__the_r_0006_0024__magic_r_0006_0025__lamp(R_0006_0023__THE_R_0006_0024__MAGIC_R_0006_0025__LAMP)
& r_0006_0028__wicked(R_0006_0028__WICKED)
& r_0006_0032__me(R_0006_0032__ME)
& r_0006_0002__Right_then_r_0006_0011__must(R_0006_0002__RIGHT_THEN_R_0006_0011__MUST)
& has_keep_scope(R_0006_0002__RIGHT_THEN_R_0006_0011__MUST,R_0006_0021__AND)
& r_0006_0021__and(R_0006_0021__AND)
& has_conj2(R_0006_0021__AND,R_0006_0022__FETCH)
& r_0006_0022__fetch(R_0006_0022__FETCH)
& has_arg1(R_0006_0022__FETCH,R_0006_0023__THE_R_0006_0024__MAGIC_R_0006_0025__LAMP)
& has_arg0(R_0006_0022__FETCH,R_0006_0010__YOU)
& has_conj1(R_0006_0021__AND,R_0006_0012__CLIMB)
& r_0006_0012__climb(R_0006_0012__CLIMB)
& has_r_0006_0013__to_clr36(R_0006_0012__CLIMB,R_0006_0014__THE_R_0006_0015__TOP)
& r_0006_0014__the_r_0006_0015__top(R_0006_0014__THE_R_0006_0015__TOP)
& has_r_0006_0016__of(R_0006_0014__THE_R_0006_0015__TOP,R_0006_0017__THE_R_0006_0018__ICE_R_0006_0019__MOUNTAIN)
& has_arg0(R_0006_0012__CLIMB,R_0006_0010__YOU)
& r_0006_0026__that_r_0006_0030__stole(R_0006_0026__THAT_R_0006_0030__STOLE)
& has_r_0006_0031__from_clr84(R_0006_0026__THAT_R_0006_0030__STOLE,R_0006_0032__ME)
& has_arg0(R_0006_0026__THAT_R_0006_0030__STOLE,R_0006_0027__A_R_0006_0029__RIVAL)
& r_0006_0027__a_r_0006_0029__rival(R_0006_0027__A_R_0006_0029__RIVAL)
& has_attrib74(R_0006_0027__A_R_0006_0029__RIVAL,R_0006_0028__WICKED)
& has_arg1(R_0006_0026__THAT_R_0006_0030__STOLE,R_0006_0023__THE_R_0006_0024__MAGIC_R_0006_0025__LAMP) ) ).
( (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))