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.
( (IP-MAT (NP-NIM (Q;_nphd_ All;{all})
(NLYR (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))
arc(r_0191_0001__All__quant,r_0191_0013__and,scope).
arc(r_0191_0001__All__quant,z_0191_5005,restriction).
arc(r_0191_0002__the_r_0191_0004__day,r_0191_0003__next,attrib).
arc(r_0191_0006__sat_r_0191_0007__on,r_0191_0005__he,arg0).
arc(r_0191_0006__sat_r_0191_0007__on,r_0191_0011__shoulder,arg1).
arc(r_0191_0006__sat_r_0191_0007__on,z_0191_5005,nim).
arc(r_0191_0011__shoulder,r_0191_0008__the_r_0191_0009__Prince,gen).
arc(r_0191_0013__and,r_0191_0006__sat_r_0191_0007__on,conj1).
arc(r_0191_0013__and,r_0191_0014__told,conj2).
arc(r_0191_0014__told,r_0191_0005__he,arg0).
arc(r_0191_0014__told,r_0191_0008__the_r_0191_0009__Prince,arg2).
arc(r_0191_0014__told,r_0191_0016__stories,arg1).
arc(r_0191_0014__told,z_0191_5005,nim).
arc(r_0191_0016__stories,r_0191_0018__what,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_0018__what,arg1).
arc(r_0191_0021__seen,r_0191_0024__lands,r_0191_0022__in__nim).
arc(r_0191_0024__lands,r_0191_0023__strange,attrib).
arc(z_0191_5005,r_0191_0002__the_r_0191_0004__day,nim).
fof(formula,axiom,
? [R_0191_0005__HE,R_0191_0018__WHAT,R_0191_0023__STRANGE,R_0191_0024__LANDS,R_0191_0020__HAD_R_0191_0021__SEEN] :
( r_0191_0005__he(R_0191_0005__HE)
& r_0191_0018__what(R_0191_0018__WHAT)
& r_0191_0023__strange(R_0191_0023__STRANGE)
& r_0191_0020__had_r_0191_0021__seen(R_0191_0020__HAD_R_0191_0021__SEEN)
& has_r_0191_0022__in__nim(R_0191_0020__HAD_R_0191_0021__SEEN,R_0191_0024__LANDS)
& r_0191_0024__lands(R_0191_0024__LANDS)
& has_attrib(R_0191_0024__LANDS,R_0191_0023__STRANGE)
& has_arg1(R_0191_0020__HAD_R_0191_0021__SEEN,R_0191_0018__WHAT)
& has_arg0(R_0191_0020__HAD_R_0191_0021__SEEN,R_0191_0005__HE)
& ! [Z_0191_5005,R_0191_0003__NEXT,R_0191_0002__THE_R_0191_0004__DAY] :
( ( r_0191_0003__next(R_0191_0003__NEXT)
& z_0191_5005(Z_0191_5005)
& has_nim(Z_0191_5005,R_0191_0002__THE_R_0191_0004__DAY)
& r_0191_0002__the_r_0191_0004__day(R_0191_0002__THE_R_0191_0004__DAY)
& has_attrib(R_0191_0002__THE_R_0191_0004__DAY,R_0191_0003__NEXT) )
=> ? [R_0191_0008__THE_R_0191_0009__PRINCE,R_0191_0011__SHOULDER,R_0191_0006__SAT_R_0191_0007__ON,R_0191_0016__STORIES,R_0191_0014__TOLD,R_0191_0013__AND] :
( r_0191_0008__the_r_0191_0009__Prince(R_0191_0008__THE_R_0191_0009__PRINCE)
& 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_nim(R_0191_0014__TOLD,Z_0191_5005)
& 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,R_0191_0018__WHAT)
& has_arg2(R_0191_0014__TOLD,R_0191_0008__THE_R_0191_0009__PRINCE)
& has_arg0(R_0191_0014__TOLD,R_0191_0005__HE)
& has_conj1(R_0191_0013__AND,R_0191_0006__SAT_R_0191_0007__ON)
& r_0191_0006__sat_r_0191_0007__on(R_0191_0006__SAT_R_0191_0007__ON)
& has_nim(R_0191_0006__SAT_R_0191_0007__ON,Z_0191_5005)
& has_arg1(R_0191_0006__SAT_R_0191_0007__ON,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)
& has_arg0(R_0191_0006__SAT_R_0191_0007__ON,R_0191_0005__HE) ) ) ) ).