15_a_sunglasses_story
Everything the people in this country have seen, been taught and experienced has been filtered through the blue lenses.
arc(r_0015_0001__Everything_quant, r_0015_0014__has, scope).
arc(r_0015_0001__Everything_quant, z_000_15_a_sunglasses_story_2, restriction).
arc(r_0015_0002__the_r_0015_0003__people, r_0015_0005__this_r_0015_0006__country, r_0015_0004__in).
arc(r_0015_0007__have, r_0015_0012__and, scope).
arc(r_0015_0008__seen, r_0015_0002__the_r_0015_0003__people, arg0).
arc(r_0015_0008__seen, z_000_15_a_sunglasses_story_2, arg1).
arc(r_0015_0010__been, r_0015_0011__taught, scope).
arc(r_0015_0011__taught, r_0015_0002__the_r_0015_0003__people, arg2).
arc(r_0015_0011__taught, z_000_15_a_sunglasses_story_2, arg1).
arc(r_0015_0011__taught, z_000_15_a_sunglasses_story_37, arg0).
arc(r_0015_0012__and, r_0015_0008__seen, conj1).
arc(r_0015_0012__and, r_0015_0010__been, conj2).
arc(r_0015_0012__and, r_0015_0013__experienced, conj3).
arc(r_0015_0013__experienced, r_0015_0002__the_r_0015_0003__people, arg0).
arc(r_0015_0013__experienced, z_000_15_a_sunglasses_story_2, arg1).
arc(r_0015_0014__has, r_0015_0015__been, scope).
arc(r_0015_0015__been, r_0015_0016__filtered, scope).
arc(r_0015_0016__filtered, r_0015_0018__the_r_0015_0020__lenses, r_0015_0017__through_clr62).
arc(r_0015_0016__filtered, z_000_15_a_sunglasses_story_2, arg1).
arc(r_0015_0016__filtered, z_000_15_a_sunglasses_story_55, arg0).
arc(r_0015_0018__the_r_0015_0020__lenses, r_0015_0019__blue, attrib65).
fof(formula,axiom,
( ~ ? [R_15_12_AND,R_15_8_SEEN,R_15_10_BEEN_TAUGHT,Z_15_A_SUNGLASSES_STORY_37,R_15_13_EXPERIENCED,R_15_2_THE_PEOPLE,R_15_5_THIS_COUNTRY,Z_15_A_SUNGLASSES_STORY_2] :
( this_country(R_15_5_THIS_COUNTRY)
& and(R_15_12_AND)
& conj1(R_15_12_AND,R_15_8_SEEN)
& seen(R_15_8_SEEN,R_15_2_THE_PEOPLE,Z_15_A_SUNGLASSES_STORY_2)
& the_people(R_15_2_THE_PEOPLE)
& in(R_15_2_THE_PEOPLE,R_15_5_THIS_COUNTRY)
& conj2(R_15_12_AND,R_15_10_BEEN_TAUGHT)
& been_taught(R_15_10_BEEN_TAUGHT,Z_15_A_SUNGLASSES_STORY_37,Z_15_A_SUNGLASSES_STORY_2,R_15_2_THE_PEOPLE)
& conj3(R_15_12_AND,R_15_13_EXPERIENCED)
& experienced(R_15_13_EXPERIENCED,R_15_2_THE_PEOPLE,Z_15_A_SUNGLASSES_STORY_2) )
=> ? [R_15_14_HAS_BEEN_FILTERED,Z_15_A_SUNGLASSES_STORY_55,Z_15_A_SUNGLASSES_STORY_2,R_15_18_THE_LENSES,R_15_19_BLUE] :
( blue(R_15_19_BLUE)
& has_been_filtered(R_15_14_HAS_BEEN_FILTERED,Z_15_A_SUNGLASSES_STORY_55,Z_15_A_SUNGLASSES_STORY_2)
& through_clr62(R_15_14_HAS_BEEN_FILTERED,R_15_18_THE_LENSES)
& the_lenses(R_15_18_THE_LENSES)
& attrib65(R_15_18_THE_LENSES,R_15_19_BLUE) ) ) ).
( (IP-MAT (NP-SBJ (Q;_nphd_ Everything;{everything})
(IP-REL (NP-SBJ (D the;{the})
(NS people;{people})
(PP (P-ROLE in;{in})
(NP (D this;{this})
(N country;{country}))))
(HVP;_cat_Ve_ have;{have})
(IP-PPL-CAT (ILYR (ILYR (NP-OB1 *T*)
(VVN;_Tn_ seen;{see}))
(PUNC ,)
(CONJP (ILYR (BEN;_cat_VePASS_ been;{be})
(IP-PPL-CAT (NP-OB1 *T*)
(NP-LGS *)
(VVN;_Dn.n_ taught;{teach}))))
(CONJP (CONJ and;{and})
(ILYR (NP-OB1 *T*)
(VVN;_Tn_ experienced;{experience})))))))
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn.pr_ filtered;{filter[through]})
(PP-CLR (P-ROLE through;{through})
(NP (D the;{the})
(ADJP (ADJ blue;{blue}))
(NS lenses;{lens})))))
(PUNC .))
(ID 15_a_sunglasses_story))