Context                Previous, Next                Top


15_a_sunglasses_story
Everything the people in this country have seen, been taught and experienced has been filtered through the blue lenses.

%3 r_0015_0001__Everything_quant Everything [quant] r_0015_0014__has has r_0015_0001__Everything_quant->r_0015_0014__has [scope] z_000_15_a_sunglasses_story_2 r_0015_0001__Everything_quant->z_000_15_a_sunglasses_story_2 [restriction] r_0015_0015__been been r_0015_0014__has->r_0015_0015__been [scope] r_0015_0002__the_r_0015_0003__people the people r_0015_0005__this_r_0015_0006__country this country r_0015_0002__the_r_0015_0003__people->r_0015_0005__this_r_0015_0006__country in r_0015_0007__have have r_0015_0012__and and r_0015_0007__have->r_0015_0012__and [scope] r_0015_0008__seen seen r_0015_0012__and->r_0015_0008__seen [conj1] r_0015_0010__been been r_0015_0012__and->r_0015_0010__been [conj2] r_0015_0013__experienced experienced r_0015_0012__and->r_0015_0013__experienced [conj3] r_0015_0008__seen->z_000_15_a_sunglasses_story_2 [arg1] r_0015_0008__seen->r_0015_0002__the_r_0015_0003__people [arg0] r_0015_0011__taught taught r_0015_0010__been->r_0015_0011__taught [scope] r_0015_0011__taught->z_000_15_a_sunglasses_story_2 [arg1] r_0015_0011__taught->r_0015_0002__the_r_0015_0003__people [arg2] z_000_15_a_sunglasses_story_37 r_0015_0011__taught->z_000_15_a_sunglasses_story_37 [arg0] r_0015_0013__experienced->z_000_15_a_sunglasses_story_2 [arg1] r_0015_0013__experienced->r_0015_0002__the_r_0015_0003__people [arg0] r_0015_0016__filtered filtered r_0015_0015__been->r_0015_0016__filtered [scope] r_0015_0016__filtered->z_000_15_a_sunglasses_story_2 [arg1] r_0015_0018__the_r_0015_0020__lenses the lenses r_0015_0016__filtered->r_0015_0018__the_r_0015_0020__lenses through [clr] z_000_15_a_sunglasses_story_55 r_0015_0016__filtered->z_000_15_a_sunglasses_story_55 [arg0] r_0015_0019__blue blue r_0015_0018__the_r_0015_0020__lenses->r_0015_0019__blue [attrib] 
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).


%3 r_0015_0001__Everything_quant Everything [quant] r_0015_0007__have have r_0015_0001__Everything_quant->r_0015_0007__have [restriction] r_0015_0014__has_r_0015_0015__been_r_0015_0016__filtered has been filtered r_0015_0001__Everything_quant->r_0015_0014__has_r_0015_0015__been_r_0015_0016__filtered [scope] r_0015_0012__and and r_0015_0007__have->r_0015_0012__and [keep_scope] z_000_15_a_sunglasses_story_2 r_0015_0014__has_r_0015_0015__been_r_0015_0016__filtered->z_000_15_a_sunglasses_story_2 [arg1] r_0015_0018__the_r_0015_0020__lenses the lenses r_0015_0014__has_r_0015_0015__been_r_0015_0016__filtered->r_0015_0018__the_r_0015_0020__lenses through [clr] z_000_15_a_sunglasses_story_55 r_0015_0014__has_r_0015_0015__been_r_0015_0016__filtered->z_000_15_a_sunglasses_story_55 [arg0] r_0015_0002__the_r_0015_0003__people the people r_0015_0005__this_r_0015_0006__country this country r_0015_0002__the_r_0015_0003__people->r_0015_0005__this_r_0015_0006__country in r_0015_0008__seen seen r_0015_0012__and->r_0015_0008__seen [conj1] r_0015_0010__been_r_0015_0011__taught been taught r_0015_0012__and->r_0015_0010__been_r_0015_0011__taught [conj2] r_0015_0013__experienced experienced r_0015_0012__and->r_0015_0013__experienced [conj3] r_0015_0008__seen->r_0015_0002__the_r_0015_0003__people [arg0] r_0015_0008__seen->z_000_15_a_sunglasses_story_2 [arg1] r_0015_0010__been_r_0015_0011__taught->r_0015_0002__the_r_0015_0003__people [arg2] r_0015_0010__been_r_0015_0011__taught->z_000_15_a_sunglasses_story_2 [arg1] z_000_15_a_sunglasses_story_37 r_0015_0010__been_r_0015_0011__taught->z_000_15_a_sunglasses_story_37 [arg0] r_0015_0013__experienced->r_0015_0002__the_r_0015_0003__people [arg0] r_0015_0013__experienced->z_000_15_a_sunglasses_story_2 [arg1] r_0015_0019__blue blue r_0015_0018__the_r_0015_0020__lenses->r_0015_0019__blue [attrib] 
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) ) ) ).


n15_a_sunglasses_story n15_a_sunglasses_story_4 Everything n15_a_sunglasses_story_8 the n15_a_sunglasses_story_10 people n15_a_sunglasses_story_13 in n15_a_sunglasses_story_16 this n15_a_sunglasses_story_18 country n15_a_sunglasses_story_20 have n15_a_sunglasses_story_25 *T* n15_a_sunglasses_story_27 seen n15_a_sunglasses_story_29 , n15_a_sunglasses_story_33 been n15_a_sunglasses_story_38 * n15_a_sunglasses_story_40 taught n15_a_sunglasses_story_43 and n15_a_sunglasses_story_46 *T* n15_a_sunglasses_story_48 experienced n15_a_sunglasses_story_50 has n15_a_sunglasses_story_53 been n15_a_sunglasses_story_56 * n15_a_sunglasses_story_58 filtered n15_a_sunglasses_story_61 through n15_a_sunglasses_story_64 the n15_a_sunglasses_story_67 blue n15_a_sunglasses_story_69 lenses n15_a_sunglasses_story_71 . n15_a_sunglasses_story_1 IP-MAT n15_a_sunglasses_story_2 NP-SBJ n15_a_sunglasses_story_1->n15_a_sunglasses_story_2 n15_a_sunglasses_story_49 HVP;_cat_Ve_ n15_a_sunglasses_story_1->n15_a_sunglasses_story_49 n15_a_sunglasses_story_51 IP-PPL-CAT n15_a_sunglasses_story_1->n15_a_sunglasses_story_51 n15_a_sunglasses_story_70 PUNC n15_a_sunglasses_story_1->n15_a_sunglasses_story_70 n15_a_sunglasses_story_3 Q;_nphd_ n15_a_sunglasses_story_2->n15_a_sunglasses_story_3 n15_a_sunglasses_story_5 IP-REL n15_a_sunglasses_story_2->n15_a_sunglasses_story_5 n15_a_sunglasses_story_3->n15_a_sunglasses_story_4 n15_a_sunglasses_story_6 NP-SBJ n15_a_sunglasses_story_5->n15_a_sunglasses_story_6 n15_a_sunglasses_story_19 HVP;_cat_Ve_ n15_a_sunglasses_story_5->n15_a_sunglasses_story_19 n15_a_sunglasses_story_21 IP-PPL-CAT n15_a_sunglasses_story_5->n15_a_sunglasses_story_21 n15_a_sunglasses_story_7 D n15_a_sunglasses_story_6->n15_a_sunglasses_story_7 n15_a_sunglasses_story_9 NS n15_a_sunglasses_story_6->n15_a_sunglasses_story_9 n15_a_sunglasses_story_11 PP n15_a_sunglasses_story_6->n15_a_sunglasses_story_11 n15_a_sunglasses_story_7->n15_a_sunglasses_story_8 n15_a_sunglasses_story_9->n15_a_sunglasses_story_10 n15_a_sunglasses_story_12 P-ROLE n15_a_sunglasses_story_11->n15_a_sunglasses_story_12 n15_a_sunglasses_story_14 NP n15_a_sunglasses_story_11->n15_a_sunglasses_story_14 n15_a_sunglasses_story_12->n15_a_sunglasses_story_13 n15_a_sunglasses_story_15 D n15_a_sunglasses_story_14->n15_a_sunglasses_story_15 n15_a_sunglasses_story_17 N n15_a_sunglasses_story_14->n15_a_sunglasses_story_17 n15_a_sunglasses_story_15->n15_a_sunglasses_story_16 n15_a_sunglasses_story_17->n15_a_sunglasses_story_18 n15_a_sunglasses_story_19->n15_a_sunglasses_story_20 n15_a_sunglasses_story_22 ILYR n15_a_sunglasses_story_21->n15_a_sunglasses_story_22 n15_a_sunglasses_story_23 ILYR n15_a_sunglasses_story_22->n15_a_sunglasses_story_23 n15_a_sunglasses_story_28 PUNC n15_a_sunglasses_story_22->n15_a_sunglasses_story_28 n15_a_sunglasses_story_30 CONJP n15_a_sunglasses_story_22->n15_a_sunglasses_story_30 n15_a_sunglasses_story_41 CONJP n15_a_sunglasses_story_22->n15_a_sunglasses_story_41 n15_a_sunglasses_story_24 NP-OB1 n15_a_sunglasses_story_23->n15_a_sunglasses_story_24 n15_a_sunglasses_story_26 VVN;_Tn_ n15_a_sunglasses_story_23->n15_a_sunglasses_story_26 n15_a_sunglasses_story_24->n15_a_sunglasses_story_25 n15_a_sunglasses_story_26->n15_a_sunglasses_story_27 n15_a_sunglasses_story_28->n15_a_sunglasses_story_29 n15_a_sunglasses_story_31 ILYR n15_a_sunglasses_story_30->n15_a_sunglasses_story_31 n15_a_sunglasses_story_32 BEN;_cat_VePASS_ n15_a_sunglasses_story_31->n15_a_sunglasses_story_32 n15_a_sunglasses_story_34 IP-PPL-CAT n15_a_sunglasses_story_31->n15_a_sunglasses_story_34 n15_a_sunglasses_story_32->n15_a_sunglasses_story_33 n15_a_sunglasses_story_35 NP-OB1 n15_a_sunglasses_story_34->n15_a_sunglasses_story_35 n15_a_sunglasses_story_37 NP-LGS n15_a_sunglasses_story_34->n15_a_sunglasses_story_37 n15_a_sunglasses_story_39 VVN;_Dn.n_ n15_a_sunglasses_story_34->n15_a_sunglasses_story_39 n15_a_sunglasses_story_36 *T* n15_a_sunglasses_story_35->n15_a_sunglasses_story_36 n15_a_sunglasses_story_37->n15_a_sunglasses_story_38 n15_a_sunglasses_story_39->n15_a_sunglasses_story_40 n15_a_sunglasses_story_42 CONJ n15_a_sunglasses_story_41->n15_a_sunglasses_story_42 n15_a_sunglasses_story_44 ILYR n15_a_sunglasses_story_41->n15_a_sunglasses_story_44 n15_a_sunglasses_story_42->n15_a_sunglasses_story_43 n15_a_sunglasses_story_45 NP-OB1 n15_a_sunglasses_story_44->n15_a_sunglasses_story_45 n15_a_sunglasses_story_47 VVN;_Tn_ n15_a_sunglasses_story_44->n15_a_sunglasses_story_47 n15_a_sunglasses_story_45->n15_a_sunglasses_story_46 n15_a_sunglasses_story_47->n15_a_sunglasses_story_48 n15_a_sunglasses_story_49->n15_a_sunglasses_story_50 n15_a_sunglasses_story_52 BEN;_cat_VePASS_ n15_a_sunglasses_story_51->n15_a_sunglasses_story_52 n15_a_sunglasses_story_54 IP-PPL-CAT n15_a_sunglasses_story_51->n15_a_sunglasses_story_54 n15_a_sunglasses_story_52->n15_a_sunglasses_story_53 n15_a_sunglasses_story_55 NP-LGS n15_a_sunglasses_story_54->n15_a_sunglasses_story_55 n15_a_sunglasses_story_57 VVN;_Tn.pr_ n15_a_sunglasses_story_54->n15_a_sunglasses_story_57 n15_a_sunglasses_story_59 PP-CLR n15_a_sunglasses_story_54->n15_a_sunglasses_story_59 n15_a_sunglasses_story_55->n15_a_sunglasses_story_56 n15_a_sunglasses_story_57->n15_a_sunglasses_story_58 n15_a_sunglasses_story_60 P-ROLE n15_a_sunglasses_story_59->n15_a_sunglasses_story_60 n15_a_sunglasses_story_62 NP n15_a_sunglasses_story_59->n15_a_sunglasses_story_62 n15_a_sunglasses_story_60->n15_a_sunglasses_story_61 n15_a_sunglasses_story_63 D n15_a_sunglasses_story_62->n15_a_sunglasses_story_63 n15_a_sunglasses_story_65 ADJP n15_a_sunglasses_story_62->n15_a_sunglasses_story_65 n15_a_sunglasses_story_68 NS n15_a_sunglasses_story_62->n15_a_sunglasses_story_68 n15_a_sunglasses_story_63->n15_a_sunglasses_story_64 n15_a_sunglasses_story_66 ADJ n15_a_sunglasses_story_65->n15_a_sunglasses_story_66 n15_a_sunglasses_story_66->n15_a_sunglasses_story_67 n15_a_sunglasses_story_68->n15_a_sunglasses_story_69 n15_a_sunglasses_story_70->n15_a_sunglasses_story_71 
( (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))