33_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.
arc(r_0033_0003__picked_r_0033_0004__up, r_0033_0001__The_r_0033_0002__genie, arg0).
arc(r_0033_0003__picked_r_0033_0004__up, r_0033_0005__the_r_0033_0006__lamp, arg1).
arc(r_0033_0008__grabbed, r_0033_0001__The_r_0033_0002__genie, arg0).
arc(r_0033_0008__grabbed, r_0033_0009__a_r_0033_0010__magic_r_0033_0011__carpet, arg1).
arc(r_0033_0012__that_r_0033_0013__was, r_0033_0014__rolled_r_0033_0015__up, scope).
arc(r_0033_0014__rolled_r_0033_0015__up, r_0033_0009__a_r_0033_0010__magic_r_0033_0011__carpet, arg1).
arc(r_0033_0014__rolled_r_0033_0015__up, r_0033_0017__a_r_0033_0018__corner, r_0033_0016__in_nim47).
arc(r_0033_0014__rolled_r_0033_0015__up, z_000_33_a_genieus_38, arg0).
arc(r_0033_0020__and, r_0033_0003__picked_r_0033_0004__up, conj1).
arc(r_0033_0020__and, r_0033_0008__grabbed, conj2).
arc(r_0033_0020__and, r_0033_0021__told, conj3).
arc(r_0033_0021__told, r_0033_0001__The_r_0033_0002__genie, arg0).
arc(r_0033_0021__told, r_0033_0009__a_r_0033_0010__magic_r_0033_0011__carpet, arg2).
arc(r_0033_0021__told, r_0033_0023__to_r_0033_0024__take, arg1).
arc(r_0033_0023__to_r_0033_0024__take, r_0033_0001__The_r_0033_0002__genie, arg1).
arc(r_0033_0023__to_r_0033_0024__take, r_0033_0009__a_r_0033_0010__magic_r_0033_0011__carpet, arg0).
arc(r_0033_0023__to_r_0033_0024__take, r_0033_0027__the_r_0033_0028__palace, r_0033_0026__to_clr74).
fof(formula,axiom,
? [R_33_12_THAT_WAS_ROLLED_UP,Z_33_A_GENIEUS_38,R_33_17_A_CORNER,R_33_20_AND,R_33_3_PICKED_UP,R_33_5_THE_LAMP,R_33_8_GRABBED,R_33_21_TOLD,R_33_23_TO_TAKE,R_33_1_THE_GENIE,R_33_27_THE_PALACE,R_33_9_A_MAGIC_CARPET] :
( a_corner(R_33_17_A_CORNER)
& the_lamp(R_33_5_THE_LAMP)
& the_genie(R_33_1_THE_GENIE)
& the_palace(R_33_27_THE_PALACE)
& a_magic_carpet(R_33_9_A_MAGIC_CARPET)
& that_was_rolled_up(R_33_12_THAT_WAS_ROLLED_UP,Z_33_A_GENIEUS_38,R_33_9_A_MAGIC_CARPET)
& in_nim47(R_33_12_THAT_WAS_ROLLED_UP,R_33_17_A_CORNER)
& and(R_33_20_AND)
& conj1(R_33_20_AND,R_33_3_PICKED_UP)
& picked_up(R_33_3_PICKED_UP,R_33_1_THE_GENIE,R_33_5_THE_LAMP)
& conj2(R_33_20_AND,R_33_8_GRABBED)
& grabbed(R_33_8_GRABBED,R_33_1_THE_GENIE,R_33_9_A_MAGIC_CARPET)
& conj3(R_33_20_AND,R_33_21_TOLD)
& told(R_33_21_TOLD,R_33_1_THE_GENIE,R_33_23_TO_TAKE,R_33_9_A_MAGIC_CARPET)
& to_take(R_33_23_TO_TAKE,R_33_9_A_MAGIC_CARPET,R_33_1_THE_GENIE)
& to_clr74(R_33_23_TO_TAKE,R_33_27_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 33_a_genieus))