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_191_20_HAD_SEEN,R_191_5_HE,Z_191_A_WILDE_1_1888_49,R_191_24_LANDS,R_191_23_STRANGE] :
( he(R_191_5_HE)
& strange(R_191_23_STRANGE)
& ! [R_191_2_THE_DAY,R_191_3_NEXT] :
( ( next(R_191_3_NEXT)
& the_day(R_191_2_THE_DAY)
& attrib7(R_191_2_THE_DAY,R_191_3_NEXT) )
=> ? [R_191_13_AND,R_191_6_SAT,R_191_11_SHOULDER,R_191_14_TOLD,R_191_16_STORIES,R_191_8_THE_PRINCE_APOS_S] :
( the_Prince_apos_s(R_191_8_THE_PRINCE_APOS_S)
& and(R_191_13_AND)
& conj1(R_191_13_AND,R_191_6_SAT)
& sat(R_191_6_SAT,R_191_5_HE)
& nim2(R_191_6_SAT,R_191_2_THE_DAY)
& on_clr22(R_191_6_SAT,R_191_11_SHOULDER)
& shoulder(R_191_11_SHOULDER)
& gen(R_191_11_SHOULDER,R_191_8_THE_PRINCE_APOS_S)
& conj2(R_191_13_AND,R_191_14_TOLD)
& told(R_191_14_TOLD,R_191_5_HE,R_191_16_STORIES,R_191_8_THE_PRINCE_APOS_S)
& stories(R_191_16_STORIES)
& of(R_191_16_STORIES,Z_191_A_WILDE_1_1888_49)
& nim2(R_191_14_TOLD,R_191_2_THE_DAY) ) )
& had_seen(R_191_20_HAD_SEEN,R_191_5_HE,Z_191_A_WILDE_1_1888_49)
& in_nim67(R_191_20_HAD_SEEN,R_191_24_LANDS)
& lands(R_191_24_LANDS)
& attrib68(R_191_24_LANDS,R_191_23_STRANGE) ) ).
( (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))