191_a_wilde_1_1888
All the next day he sat on the Prince's shoulder, and told him stories of what he had seen in strange lands.
arc(r_0191_0001__All_quant, r_0191_0002__the_r_0191_0004__day, restriction).
arc(r_0191_0001__All_quant, r_0191_0013__and, scope).
arc(r_0191_0002__the_r_0191_0004__day, r_0191_0003__next, attrib7).
arc(r_0191_0006__sat, r_0191_0002__the_r_0191_0004__day, nim2).
arc(r_0191_0006__sat, r_0191_0005__he, arg0).
arc(r_0191_0006__sat, r_0191_0011__shoulder, r_0191_0007__on_clr22).
arc(r_0191_0011__shoulder, r_0191_0008__the_r_0191_0009__Prince_r_0191_0010___apos_s, gen).
arc(r_0191_0013__and, r_0191_0006__sat, conj1).
arc(r_0191_0013__and, r_0191_0014__told, conj2).
arc(r_0191_0014__told, r_0191_0002__the_r_0191_0004__day, nim2).
arc(r_0191_0014__told, r_0191_0005__he, arg0).
arc(r_0191_0014__told, r_0191_0008__the_r_0191_0009__Prince_r_0191_0010___apos_s, arg2).
arc(r_0191_0014__told, r_0191_0016__stories, arg1).
arc(r_0191_0016__stories, z_000_191_a_wilde_1_1888_49, r_0191_0017__of).
arc(r_0191_0020__had, r_0191_0021__seen, scope).
arc(r_0191_0021__seen, r_0191_0005__he, arg0).
arc(r_0191_0021__seen, r_0191_0024__lands, r_0191_0022__in_nim67).
arc(r_0191_0021__seen, z_000_191_a_wilde_1_1888_49, arg1).
arc(r_0191_0024__lands, r_0191_0023__strange, attrib68).
fof(formula,axiom,
? [R_0191_0005__HE,R_0191_0023__STRANGE,R_0191_0024__LANDS,Z_000_191_A_WILDE_1_1888_49,R_0191_0020__HAD_R_0191_0021__SEEN] :
( r_0191_0005__he(R_0191_0005__HE)
& r_0191_0023__strange(R_0191_0023__STRANGE)
& z_000_191_a_wilde_1_1888_49(Z_000_191_A_WILDE_1_1888_49)
& r_0191_0020__had_r_0191_0021__seen(R_0191_0020__HAD_R_0191_0021__SEEN)
& has_arg1(R_0191_0020__HAD_R_0191_0021__SEEN,Z_000_191_A_WILDE_1_1888_49)
& has_r_0191_0022__in_nim67(R_0191_0020__HAD_R_0191_0021__SEEN,R_0191_0024__LANDS)
& r_0191_0024__lands(R_0191_0024__LANDS)
& has_attrib68(R_0191_0024__LANDS,R_0191_0023__STRANGE)
& has_arg0(R_0191_0020__HAD_R_0191_0021__SEEN,R_0191_0005__HE)
& ! [R_0191_0002__THE_R_0191_0004__DAY,R_0191_0003__NEXT] :
( ( r_0191_0003__next(R_0191_0003__NEXT)
& r_0191_0002__the_r_0191_0004__day(R_0191_0002__THE_R_0191_0004__DAY)
& has_attrib7(R_0191_0002__THE_R_0191_0004__DAY,R_0191_0003__NEXT) )
=> ? [R_0191_0008__THE_R_0191_0009__PRINCE_R_0191_0010___APOS_S,R_0191_0011__SHOULDER,R_0191_0006__SAT,R_0191_0016__STORIES,R_0191_0014__TOLD,R_0191_0013__AND] :
( r_0191_0008__the_r_0191_0009__Prince_r_0191_0010___apos_s(R_0191_0008__THE_R_0191_0009__PRINCE_R_0191_0010___APOS_S)
& r_0191_0013__and(R_0191_0013__AND)
& has_conj2(R_0191_0013__AND,R_0191_0014__TOLD)
& r_0191_0014__told(R_0191_0014__TOLD)
& has_arg1(R_0191_0014__TOLD,R_0191_0016__STORIES)
& r_0191_0016__stories(R_0191_0016__STORIES)
& has_r_0191_0017__of(R_0191_0016__STORIES,Z_000_191_A_WILDE_1_1888_49)
& has_arg2(R_0191_0014__TOLD,R_0191_0008__THE_R_0191_0009__PRINCE_R_0191_0010___APOS_S)
& has_arg0(R_0191_0014__TOLD,R_0191_0005__HE)
& has_nim2(R_0191_0014__TOLD,R_0191_0002__THE_R_0191_0004__DAY)
& has_conj1(R_0191_0013__AND,R_0191_0006__SAT)
& r_0191_0006__sat(R_0191_0006__SAT)
& has_r_0191_0007__on_clr22(R_0191_0006__SAT,R_0191_0011__SHOULDER)
& r_0191_0011__shoulder(R_0191_0011__SHOULDER)
& has_gen(R_0191_0011__SHOULDER,R_0191_0008__THE_R_0191_0009__PRINCE_R_0191_0010___APOS_S)
& has_arg0(R_0191_0006__SAT,R_0191_0005__HE)
& has_nim2(R_0191_0006__SAT,R_0191_0002__THE_R_0191_0004__DAY) ) ) ) ).
( (IP-MAT (NP-NIM (Q;_nphd_ All;{all})
(D the;{the})
(ADJP (ADJS next;{next}))
(N day;{day}))
(NP-SBJ;{SWALLOW} (PRO he;{he}))
(ILYR (ILYR (VBD;_Ipr_ sat;{sit[on]})
(PP-CLR (P-ROLE on;{on})
(NP (NP-GEN;{PRINCE} (D the;{the})
(N Prince;{prince})
(GENM <apos>s))
(N shoulder;{shoulder}))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (VBD;__ told;{tell})
(NP-OB2;{PRINCE} (PRO him;{he}))
(NP-OB1 (NS stories;{story})
(PP (P-ROLE of;{of})
(NP (IP-REL (NP-127 (RPRO what;{what}))
(NP-SBJ;{SWALLOW} (PRO he;{he}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (NP-OB1 *ICH*-127)
(VVN;__ seen;{see})
(PP-NIM (P-ROLE in;{in})
(NP (ADJP (ADJ strange;{strange}))
(NS lands;{land})))))))))))
(PUNC .))
(ID 191_a_wilde_1_1888))