TSPC 9_a_sunglasses

9_a_sunglasses_story
Everything has been filtered through those values and those ideas which colour the glasses yellow.

( (IP-MAT (NP-SBJ (Q;_nphd_ Everything;{everything}))
          (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 (NLYR (NLYR (D those;{those})
                                                          (NS values;{value}))
                                                    (CONJP (CONJ and;{and})
                                                           (NLYR (D those;{those})
                                                                 (NS ideas;{idea}))))
                                              (IP-REL (NP-SBJ (RPRO which;{which}))
                                                      (VBP;_Cn.a_ colour;{colour})
                                                      (NP-OB1 (D the;{the})
                                                              (NS glasses;{glass}))
                                                      (ADJP-PRD (ADJ yellow;{yellow})))))))
          (PUNC .))
  (ID 9_a_sunglasses_story))

arc(r_0009_0001__Everything__quant,r_0009_0002__has,scope).
arc(r_0009_0001__Everything__quant,z_0009_5003,restriction).
arc(r_0009_0002__has,r_0009_0003__been,scope).
arc(r_0009_0003__been,r_0009_0004__filtered_r_0009_0005__through,scope).
arc(r_0009_0004__filtered_r_0009_0005__through,r_0009_0008__and,arg2).
arc(r_0009_0004__filtered_r_0009_0005__through,z_0009_5003,arg1).
arc(r_0009_0004__filtered_r_0009_0005__through,z_0009_5012___star_,arg0).
arc(r_0009_0008__and,r_0009_0006__those_r_0009_0007__values,conj1).
arc(r_0009_0008__and,r_0009_0009__those_r_0009_0010__ideas,conj2).
arc(r_0009_0012__colour,r_0009_0008__and,arg0).
arc(r_0009_0012__colour,r_0009_0013__the_r_0009_0014__glasses,arg1).
arc(r_0009_0012__colour,r_0009_0015__yellow,prd).

fof(formula,axiom,
    ? [R_0009_0006__THOSE_R_0009_0007__VALUES,R_0009_0009__THOSE_R_0009_0010__IDEAS,R_0009_0008__AND,R_0009_0013__THE_R_0009_0014__GLASSES,R_0009_0015__YELLOW,R_0009_0012__COLOUR] :
      ( r_0009_0006__those_r_0009_0007__values(R_0009_0006__THOSE_R_0009_0007__VALUES)
      & r_0009_0009__those_r_0009_0010__ideas(R_0009_0009__THOSE_R_0009_0010__IDEAS)
      & r_0009_0013__the_r_0009_0014__glasses(R_0009_0013__THE_R_0009_0014__GLASSES)
      & r_0009_0015__yellow(R_0009_0015__YELLOW)
      & r_0009_0012__colour(R_0009_0012__COLOUR)
      & has_prd(R_0009_0012__COLOUR,R_0009_0015__YELLOW)
      & has_arg1(R_0009_0012__COLOUR,R_0009_0013__THE_R_0009_0014__GLASSES)
      & has_arg0(R_0009_0012__COLOUR,R_0009_0008__AND)
      & r_0009_0008__and(R_0009_0008__AND)
      & has_conj2(R_0009_0008__AND,R_0009_0009__THOSE_R_0009_0010__IDEAS)
      & has_conj1(R_0009_0008__AND,R_0009_0006__THOSE_R_0009_0007__VALUES)
      & ! [Z_0009_5003] :
          ( z_0009_5003(Z_0009_5003)
         => ? [Z_0009_5012___STAR_,R_0009_0002__HAS_R_0009_0003__BEEN_R_0009_0004__FILTERED_R_0009_0005__THROUGH] :
              ( z_0009_5012___star_(Z_0009_5012___STAR_)
              & r_0009_0002__has_r_0009_0003__been_r_0009_0004__filtered_r_0009_0005__through(R_0009_0002__HAS_R_0009_0003__BEEN_R_0009_0004__FILTERED_R_0009_0005__THROUGH)
              & has_arg0(R_0009_0002__HAS_R_0009_0003__BEEN_R_0009_0004__FILTERED_R_0009_0005__THROUGH,Z_0009_5012___STAR_)
              & has_arg1(R_0009_0002__HAS_R_0009_0003__BEEN_R_0009_0004__FILTERED_R_0009_0005__THROUGH,Z_0009_5003)
              & has_arg2(R_0009_0002__HAS_R_0009_0003__BEEN_R_0009_0004__FILTERED_R_0009_0005__THROUGH,R_0009_0008__AND) ) ) ) ).