TSPC 15_a_sunglasses

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

( (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 (NP-OB1 *T*)
                                      (ILYR (ILYR (VVN;_Tn_ seen;{see}))
                                            (PUNC ,)
                                            (CONJP (ILYR (BEN;_cat_VePASS_ been;{be})
                                                         (IP-PPL-CAT (NP-LGS *)
                                                                     (VVN;_Dn.n_ taught;{teach}))))
                                            (CONJP (CONJ and;{and})
                                                   (ILYR (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})
                                  (PP-NIM (P-ROLE through;{through})
                                          (NP (D the;{the})
                                              (ADJP (ADJ blue;{blue}))
                                              (NS lenses;{lens})))))
          (PUNC .))
  (ID 15_a_sunglasses_story))

arc(r_0015_0001__Everything__quant,r_0015_0014__has,scope).
arc(r_0015_0001__Everything__quant,z_0015_5014,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_0015_5014,inv_arg1).
arc(r_0015_0010__been,r_0015_0011__taught,scope).
arc(r_0015_0010__been,z_0015_5014,inv_arg1).
arc(r_0015_0011__taught,r_0015_0002__the_r_0015_0003__people,arg1).
arc(r_0015_0011__taught,z_0015_5008___star_,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_0015_5014,inv_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__nim).
arc(r_0015_0016__filtered,z_0015_5014,arg1).
arc(r_0015_0016__filtered,z_0015_5019___star_,arg0).
arc(r_0015_0018__the_r_0015_0020__lenses,r_0015_0019__blue,attrib).

fof(formula,axiom,
    ? [R_0015_0005__THIS_R_0015_0006__COUNTRY,R_0015_0002__THE_R_0015_0003__PEOPLE,R_0015_0008__SEEN,Z_0015_5008___STAR_,R_0015_0010__BEEN_R_0015_0011__TAUGHT,R_0015_0013__EXPERIENCED,R_0015_0012__AND,R_0015_0007__HAVE] :
      ( r_0015_0005__this_r_0015_0006__country(R_0015_0005__THIS_R_0015_0006__COUNTRY)
      & z_0015_5008___star_(Z_0015_5008___STAR_)
      & r_0015_0007__have(R_0015_0007__HAVE)
      & has_keep_scope(R_0015_0007__HAVE,R_0015_0012__AND)
      & r_0015_0012__and(R_0015_0012__AND)
      & has_conj3(R_0015_0012__AND,R_0015_0013__EXPERIENCED)
      & r_0015_0013__experienced(R_0015_0013__EXPERIENCED)
      & has_arg0(R_0015_0013__EXPERIENCED,R_0015_0002__THE_R_0015_0003__PEOPLE)
      & r_0015_0002__the_r_0015_0003__people(R_0015_0002__THE_R_0015_0003__PEOPLE)
      & has_r_0015_0004__in(R_0015_0002__THE_R_0015_0003__PEOPLE,R_0015_0005__THIS_R_0015_0006__COUNTRY)
      & has_conj2(R_0015_0012__AND,R_0015_0010__BEEN_R_0015_0011__TAUGHT)
      & r_0015_0010__been_r_0015_0011__taught(R_0015_0010__BEEN_R_0015_0011__TAUGHT)
      & has_arg0(R_0015_0010__BEEN_R_0015_0011__TAUGHT,Z_0015_5008___STAR_)
      & has_arg1(R_0015_0010__BEEN_R_0015_0011__TAUGHT,R_0015_0002__THE_R_0015_0003__PEOPLE)
      & has_conj1(R_0015_0012__AND,R_0015_0008__SEEN)
      & r_0015_0008__seen(R_0015_0008__SEEN)
      & has_arg0(R_0015_0008__SEEN,R_0015_0002__THE_R_0015_0003__PEOPLE)
      & ! [Z_0015_5014] :
          ( ( z_0015_5014(Z_0015_5014)
            & has_inv_arg1(Z_0015_5014,R_0015_0013__EXPERIENCED)
            & has_inv_arg1(Z_0015_5014,R_0015_0010__BEEN_R_0015_0011__TAUGHT)
            & has_inv_arg1(Z_0015_5014,R_0015_0008__SEEN) )
         => ? [R_0015_0019__BLUE,R_0015_0018__THE_R_0015_0020__LENSES,Z_0015_5019___STAR_,R_0015_0014__HAS_R_0015_0015__BEEN_R_0015_0016__FILTERED] :
              ( r_0015_0019__blue(R_0015_0019__BLUE)
              & z_0015_5019___star_(Z_0015_5019___STAR_)
              & r_0015_0014__has_r_0015_0015__been_r_0015_0016__filtered(R_0015_0014__HAS_R_0015_0015__BEEN_R_0015_0016__FILTERED)
              & has_arg0(R_0015_0014__HAS_R_0015_0015__BEEN_R_0015_0016__FILTERED,Z_0015_5019___STAR_)
              & has_arg1(R_0015_0014__HAS_R_0015_0015__BEEN_R_0015_0016__FILTERED,Z_0015_5014)
              & has_r_0015_0017__through__nim(R_0015_0014__HAS_R_0015_0015__BEEN_R_0015_0016__FILTERED,R_0015_0018__THE_R_0015_0020__LENSES)
              & r_0015_0018__the_r_0015_0020__lenses(R_0015_0018__THE_R_0015_0020__LENSES)
              & has_attrib(R_0015_0018__THE_R_0015_0020__LENSES,R_0015_0019__BLUE) ) ) ) ).