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.’
( (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))
arc(r_0006_0005__said,r_0006_0006__the_r_0006_0007__king,arg0).
arc(r_0006_0011__must,r_0006_0005__said,prn).
arc(r_0006_0011__must,r_0006_0021__and,scope).
arc(r_0006_0012__climb_r_0006_0013__to,r_0006_0010__You,arg0).
arc(r_0006_0012__climb_r_0006_0013__to,r_0006_0014__the_r_0006_0015__top,arg1).
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_r_0006_0013__to,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_0027__a_r_0006_0029__rival,r_0006_0028__wicked,attrib).
arc(r_0006_0030__stole_r_0006_0031__from,r_0006_0023__the_r_0006_0024__magic_r_0006_0025__lamp,inv_arg1).
arc(r_0006_0030__stole_r_0006_0031__from,r_0006_0027__a_r_0006_0029__rival,arg0).
arc(r_0006_0030__stole_r_0006_0031__from,r_0006_0032__me,arg2).
fof(formula,axiom,
? [R_0006_0006__THE_R_0006_0007__KING,R_0006_0005__SAID,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_0013__TO,R_0006_0028__WICKED,R_0006_0027__A_R_0006_0029__RIVAL,R_0006_0032__ME,R_0006_0030__STOLE_R_0006_0031__FROM,R_0006_0023__THE_R_0006_0024__MAGIC_R_0006_0025__LAMP,R_0006_0022__FETCH,R_0006_0021__AND,R_0006_0011__MUST] :
( r_0006_0006__the_r_0006_0007__king(R_0006_0006__THE_R_0006_0007__KING)
& 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_0028__wicked(R_0006_0028__WICKED)
& r_0006_0032__me(R_0006_0032__ME)
& r_0006_0011__must(R_0006_0011__MUST)
& has_keep_scope(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)
& r_0006_0023__the_r_0006_0024__magic_r_0006_0025__lamp(R_0006_0023__THE_R_0006_0024__MAGIC_R_0006_0025__LAMP)
& has_inv_arg1(R_0006_0023__THE_R_0006_0024__MAGIC_R_0006_0025__LAMP,R_0006_0030__STOLE_R_0006_0031__FROM)
& r_0006_0030__stole_r_0006_0031__from(R_0006_0030__STOLE_R_0006_0031__FROM)
& has_arg2(R_0006_0030__STOLE_R_0006_0031__FROM,R_0006_0032__ME)
& has_arg0(R_0006_0030__STOLE_R_0006_0031__FROM,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_attrib(R_0006_0027__A_R_0006_0029__RIVAL,R_0006_0028__WICKED)
& has_arg0(R_0006_0022__FETCH,R_0006_0010__YOU)
& has_conj1(R_0006_0021__AND,R_0006_0012__CLIMB_R_0006_0013__TO)
& r_0006_0012__climb_r_0006_0013__to(R_0006_0012__CLIMB_R_0006_0013__TO)
& has_arg1(R_0006_0012__CLIMB_R_0006_0013__TO,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_0013__TO,R_0006_0010__YOU)
& has_prn(R_0006_0011__MUST,R_0006_0005__SAID)
& r_0006_0005__said(R_0006_0005__SAID)
& has_arg0(R_0006_0005__SAID,R_0006_0006__THE_R_0006_0007__KING) ) ).