arc(r_0008_0001__Everything_quant, r_0008_0010__has, scope).
arc(r_0008_0001__Everything_quant, z_000_8_a_sunglasses_story_2, restriction).
arc(r_0008_0002__everyone_quant, r_0008_0003__has, scope).
arc(r_0008_0002__everyone_quant, z_000_8_a_sunglasses_story_6, restriction).
arc(r_0008_0003__has, r_0008_0008__and, scope).
arc(r_0008_0004__seen, z_000_8_a_sunglasses_story_2, arg1).
arc(r_0008_0004__seen, z_000_8_a_sunglasses_story_6, arg0).
arc(r_0008_0006__been, r_0008_0007__taught, scope).
arc(r_0008_0007__taught, z_000_8_a_sunglasses_story_2, arg1).
arc(r_0008_0007__taught, z_000_8_a_sunglasses_story_25, arg0).
arc(r_0008_0007__taught, z_000_8_a_sunglasses_story_6, arg2).
arc(r_0008_0008__and, r_0008_0004__seen, conj1).
arc(r_0008_0008__and, r_0008_0006__been, conj2).
arc(r_0008_0008__and, r_0008_0009__experienced, conj3).
arc(r_0008_0009__experienced, z_000_8_a_sunglasses_story_2, arg1).
arc(r_0008_0009__experienced, z_000_8_a_sunglasses_story_6, arg0).
arc(r_0008_0010__has, r_0008_0011__entered, scope).
arc(r_0008_0011__entered, r_0008_0012__the_r_0008_0013__brain, arg1).
arc(r_0008_0011__entered, r_0008_0015__the_r_0008_0017__lenses, r_0008_0014__through_nim52).
arc(r_0008_0011__entered, z_000_8_a_sunglasses_story_2, arg0).
arc(r_0008_0015__the_r_0008_0017__lenses, r_0008_0016__yellow, attrib55).

fof(formula,axiom,
    ( ! [Z_8_A_SUNGLASSES_STORY_6] :
        ( true
       => ~ ? [R_8_8_AND,R_8_4_SEEN,R_8_6_BEEN_TAUGHT,Z_8_A_SUNGLASSES_STORY_25,R_8_9_EXPERIENCED,Z_8_A_SUNGLASSES_STORY_2] :
              ( and(R_8_8_AND)
              & conj1(R_8_8_AND,R_8_4_SEEN)
              & seen(R_8_4_SEEN,Z_8_A_SUNGLASSES_STORY_6,Z_8_A_SUNGLASSES_STORY_2)
              & conj2(R_8_8_AND,R_8_6_BEEN_TAUGHT)
              & been_taught(R_8_6_BEEN_TAUGHT,Z_8_A_SUNGLASSES_STORY_25,Z_8_A_SUNGLASSES_STORY_2,Z_8_A_SUNGLASSES_STORY_6)
              & conj3(R_8_8_AND,R_8_9_EXPERIENCED)
              & experienced(R_8_9_EXPERIENCED,Z_8_A_SUNGLASSES_STORY_6,Z_8_A_SUNGLASSES_STORY_2) ) )
   => ? [R_8_10_HAS_ENTERED,Z_8_A_SUNGLASSES_STORY_2,R_8_12_THE_BRAIN,R_8_15_THE_LENSES,R_8_16_YELLOW] :
        ( the_brain(R_8_12_THE_BRAIN)
        & yellow(R_8_16_YELLOW)
        & has_entered(R_8_10_HAS_ENTERED,Z_8_A_SUNGLASSES_STORY_2,R_8_12_THE_BRAIN)
        & through_nim52(R_8_10_HAS_ENTERED,R_8_15_THE_LENSES)
        & the_lenses(R_8_15_THE_LENSES)
        & attrib55(R_8_15_THE_LENSES,R_8_16_YELLOW) ) ) ).

( (IP-MAT (NP-SBJ (Q;_nphd_ Everything;{everything})
                  (IP-REL (NP-SBJ (Q;_nphd_ everyone;{everyone}))
                          (HVP;_cat_Ve_ has;{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-LGS *)
                                                                     (NP-OB1 *T*)
                                                                     (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 (VVN;_Tn.pr_ entered;{enter})
                      (NP-OB1 (D the;{the})
                              (N brain;{brain}))
                      (PP-NIM (P-ROLE through;{through})
                              (NP (D the;{the})
                                  (ADJP (ADJ yellow;{yellow}))
                                  (NS lenses;{lens}))))
          (PUNC .))
  (ID 8_a_sunglasses_story))