arc(r_0009_0001__Everything_quant, r_0009_0002__has, scope).
arc(r_0009_0001__Everything_quant, z_000_9_a_sunglasses_story_2, restriction).
arc(r_0009_0002__has, r_0009_0003__been, scope).
arc(r_0009_0003__been, r_0009_0004__filtered, scope).
arc(r_0009_0004__filtered, r_0009_0008__and, r_0009_0005__through_clr18).
arc(r_0009_0004__filtered, z_000_9_a_sunglasses_story_11, arg0).
arc(r_0009_0004__filtered, z_000_9_a_sunglasses_story_2, arg1).
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_9_12_COLOUR,R_9_8_AND,R_9_6_THOSE_VALUES,R_9_9_THOSE_IDEAS,R_9_13_THE_GLASSES,R_9_15_YELLOW] :
      ( those_values(R_9_6_THOSE_VALUES)
      & those_ideas(R_9_9_THOSE_IDEAS)
      & the_glasses(R_9_13_THE_GLASSES)
      & yellow(R_9_15_YELLOW)
      & ! [Z_9_A_SUNGLASSES_STORY_2] :
          ( true
         => ? [R_9_2_HAS_BEEN_FILTERED,Z_9_A_SUNGLASSES_STORY_11] :
              ( has_been_filtered(R_9_2_HAS_BEEN_FILTERED,Z_9_A_SUNGLASSES_STORY_11,Z_9_A_SUNGLASSES_STORY_2)
              & through_clr18(R_9_2_HAS_BEEN_FILTERED,R_9_8_AND) ) )
      & colour(R_9_12_COLOUR,R_9_8_AND,R_9_13_THE_GLASSES,R_9_15_YELLOW)
      & and(R_9_8_AND)
      & conj1(R_9_8_AND,R_9_6_THOSE_VALUES)
      & conj2(R_9_8_AND,R_9_9_THOSE_IDEAS) ) ).

( (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))