31_a_genieus
The genie picked up the lamp, grabbed a magic carpet that was rolled up in a corner, and told it to take him to the palace.
( (IP-MAT (NP-SBJ;{GENIE} (D The;{the})
(N genie;{genie}))
(ILYR (ILYR (VBD;_phr_Vn<=>p_ picked;{pick})
(RP up;{up})
(NP-OB1 (D the;{the})
(N lamp;{lamp})))
(PUNC ,)
(ILYR (VBD;_Tn_ grabbed;{grab})
(NP-OB1;{CARPET} (D a;{a})
(N magic;{magic})
(N carpet;{carpet})
(IP-REL (C that;{that})
(NP-SBJ *T*)
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_phr_Vn<=>p_ rolled;{roll[up]})
(RP up;{up})
(PP-NIM (P-ROLE in;{in})
(NP (D a;{a})
(N corner;{corner})))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (VBD;_Dn.t_ told;{tell})
(NP-OB2;{CARPET} (PRO it;{it}))
(IP-INF-OB1 (TO to;{to})
(VB;_Tn.pr_ take;{take[to]})
(NP-OB1;{GENIE} (PRO him;{he}))
(PP-CLR (P-ROLE to;{to})
(NP (D the;{the})
(N palace;{palace})))))))
(PUNC .))
(ID 31_a_genieus))
arc(r_0031_0003__picked_r_0031_0004__up,r_0031_0001__The_r_0031_0002__genie,arg0).
arc(r_0031_0003__picked_r_0031_0004__up,r_0031_0005__the_r_0031_0006__lamp,arg1).
arc(r_0031_0008__grabbed,r_0031_0001__The_r_0031_0002__genie,arg0).
arc(r_0031_0008__grabbed,r_0031_0009__a_r_0031_0010__magic_r_0031_0011__carpet,arg1).
arc(r_0031_0013__was,r_0031_0014__rolled_r_0031_0015__up,scope).
arc(r_0031_0014__rolled_r_0031_0015__up,r_0031_0009__a_r_0031_0010__magic_r_0031_0011__carpet,inv_arg1).
arc(r_0031_0014__rolled_r_0031_0015__up,r_0031_0017__a_r_0031_0018__corner,r_0031_0016__in__nim).
arc(r_0031_0014__rolled_r_0031_0015__up,z_0031_5009___star_,arg0).
arc(r_0031_0020__and,r_0031_0003__picked_r_0031_0004__up,conj1).
arc(r_0031_0020__and,r_0031_0008__grabbed,conj2).
arc(r_0031_0020__and,r_0031_0021__told,conj3).
arc(r_0031_0021__told,r_0031_0001__The_r_0031_0002__genie,arg0).
arc(r_0031_0021__told,r_0031_0009__a_r_0031_0010__magic_r_0031_0011__carpet,arg2).
arc(r_0031_0021__told,r_0031_0024__take_r_0031_0026__to,arg1).
arc(r_0031_0024__take_r_0031_0026__to,r_0031_0001__The_r_0031_0002__genie,arg1).
arc(r_0031_0024__take_r_0031_0026__to,r_0031_0009__a_r_0031_0010__magic_r_0031_0011__carpet,arg0).
arc(r_0031_0024__take_r_0031_0026__to,r_0031_0027__the_r_0031_0028__palace,arg2).
fof(formula,axiom,
? [R_0031_0001__THE_R_0031_0002__GENIE,R_0031_0005__THE_R_0031_0006__LAMP,R_0031_0003__PICKED_R_0031_0004__UP,R_0031_0017__A_R_0031_0018__CORNER,Z_0031_5009___STAR_,R_0031_0013__WAS_R_0031_0014__ROLLED_R_0031_0015__UP,R_0031_0009__A_R_0031_0010__MAGIC_R_0031_0011__CARPET,R_0031_0008__GRABBED,R_0031_0027__THE_R_0031_0028__PALACE,R_0031_0024__TAKE_R_0031_0026__TO,R_0031_0021__TOLD,R_0031_0020__AND] :
( r_0031_0001__The_r_0031_0002__genie(R_0031_0001__THE_R_0031_0002__GENIE)
& r_0031_0005__the_r_0031_0006__lamp(R_0031_0005__THE_R_0031_0006__LAMP)
& r_0031_0017__a_r_0031_0018__corner(R_0031_0017__A_R_0031_0018__CORNER)
& r_0031_0027__the_r_0031_0028__palace(R_0031_0027__THE_R_0031_0028__PALACE)
& z_0031_5009___star_(Z_0031_5009___STAR_)
& r_0031_0020__and(R_0031_0020__AND)
& has_conj3(R_0031_0020__AND,R_0031_0021__TOLD)
& r_0031_0021__told(R_0031_0021__TOLD)
& has_arg1(R_0031_0021__TOLD,R_0031_0024__TAKE_R_0031_0026__TO)
& r_0031_0024__take_r_0031_0026__to(R_0031_0024__TAKE_R_0031_0026__TO)
& has_arg2(R_0031_0024__TAKE_R_0031_0026__TO,R_0031_0027__THE_R_0031_0028__PALACE)
& has_arg0(R_0031_0024__TAKE_R_0031_0026__TO,R_0031_0009__A_R_0031_0010__MAGIC_R_0031_0011__CARPET)
& r_0031_0009__a_r_0031_0010__magic_r_0031_0011__carpet(R_0031_0009__A_R_0031_0010__MAGIC_R_0031_0011__CARPET)
& has_inv_arg1(R_0031_0009__A_R_0031_0010__MAGIC_R_0031_0011__CARPET,R_0031_0013__WAS_R_0031_0014__ROLLED_R_0031_0015__UP)
& r_0031_0013__was_r_0031_0014__rolled_r_0031_0015__up(R_0031_0013__WAS_R_0031_0014__ROLLED_R_0031_0015__UP)
& has_arg0(R_0031_0013__WAS_R_0031_0014__ROLLED_R_0031_0015__UP,Z_0031_5009___STAR_)
& has_r_0031_0016__in__nim(R_0031_0013__WAS_R_0031_0014__ROLLED_R_0031_0015__UP,R_0031_0017__A_R_0031_0018__CORNER)
& has_arg1(R_0031_0024__TAKE_R_0031_0026__TO,R_0031_0001__THE_R_0031_0002__GENIE)
& has_arg2(R_0031_0021__TOLD,R_0031_0009__A_R_0031_0010__MAGIC_R_0031_0011__CARPET)
& has_arg0(R_0031_0021__TOLD,R_0031_0001__THE_R_0031_0002__GENIE)
& has_conj2(R_0031_0020__AND,R_0031_0008__GRABBED)
& r_0031_0008__grabbed(R_0031_0008__GRABBED)
& has_arg1(R_0031_0008__GRABBED,R_0031_0009__A_R_0031_0010__MAGIC_R_0031_0011__CARPET)
& has_arg0(R_0031_0008__GRABBED,R_0031_0001__THE_R_0031_0002__GENIE)
& has_conj1(R_0031_0020__AND,R_0031_0003__PICKED_R_0031_0004__UP)
& r_0031_0003__picked_r_0031_0004__up(R_0031_0003__PICKED_R_0031_0004__UP)
& has_arg1(R_0031_0003__PICKED_R_0031_0004__UP,R_0031_0005__THE_R_0031_0006__LAMP)
& has_arg0(R_0031_0003__PICKED_R_0031_0004__UP,R_0031_0001__THE_R_0031_0002__GENIE) ) ).