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

arc(r_0008_0001__Everything__quant,r_0008_0010__has,scope).
arc(r_0008_0001__Everything__quant,z_0008_5015,restriction).
arc(r_0008_0002__everyone__quant,r_0008_0003__has,scope).
arc(r_0008_0002__everyone__quant,z_0008_5005,restriction).
arc(r_0008_0003__has,r_0008_0008__and,scope).
arc(r_0008_0004__seen,z_0008_5005,arg0).
arc(r_0008_0004__seen,z_0008_5015,inv_arg1).
arc(r_0008_0006__been,r_0008_0007__taught,scope).
arc(r_0008_0007__taught,z_0008_5005,arg2).
arc(r_0008_0007__taught,z_0008_5009___star_,arg0).
arc(r_0008_0007__taught,z_0008_5015,inv_arg1).
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_0008_5005,arg0).
arc(r_0008_0009__experienced,z_0008_5015,inv_arg1).
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__nim).
arc(r_0008_0011__entered,z_0008_5015,arg0).
arc(r_0008_0015__the_r_0008_0017__lenses,r_0008_0016__yellow,attrib).

fof(formula,axiom,
    ! [Z_0008_5005] :
      ( ( z_0008_5005(Z_0008_5005)
        & ! [Z_0008_5015,R_0008_0004__SEEN,Z_0008_5009___STAR_,R_0008_0006__BEEN_R_0008_0007__TAUGHT,R_0008_0009__EXPERIENCED] :
            ( ( z_0008_5009___star_(Z_0008_5009___STAR_)
              & z_0008_5015(Z_0008_5015)
              & has_inv_arg1(Z_0008_5015,R_0008_0009__EXPERIENCED)
              & r_0008_0009__experienced(R_0008_0009__EXPERIENCED)
              & has_arg0(R_0008_0009__EXPERIENCED,Z_0008_5005)
              & has_inv_arg1(Z_0008_5015,R_0008_0006__BEEN_R_0008_0007__TAUGHT)
              & r_0008_0006__been_r_0008_0007__taught(R_0008_0006__BEEN_R_0008_0007__TAUGHT)
              & has_arg0(R_0008_0006__BEEN_R_0008_0007__TAUGHT,Z_0008_5009___STAR_)
              & has_arg2(R_0008_0006__BEEN_R_0008_0007__TAUGHT,Z_0008_5005)
              & has_inv_arg1(Z_0008_5015,R_0008_0004__SEEN)
              & r_0008_0004__seen(R_0008_0004__SEEN)
              & has_arg0(R_0008_0004__SEEN,Z_0008_5005) )
           => ? [R_0008_0012__THE_R_0008_0013__BRAIN,R_0008_0016__YELLOW,R_0008_0015__THE_R_0008_0017__LENSES,R_0008_0010__HAS_R_0008_0011__ENTERED] :
                ( r_0008_0012__the_r_0008_0013__brain(R_0008_0012__THE_R_0008_0013__BRAIN)
                & r_0008_0016__yellow(R_0008_0016__YELLOW)
                & r_0008_0010__has_r_0008_0011__entered(R_0008_0010__HAS_R_0008_0011__ENTERED)
                & has_arg0(R_0008_0010__HAS_R_0008_0011__ENTERED,Z_0008_5015)
                & has_r_0008_0014__through__nim(R_0008_0010__HAS_R_0008_0011__ENTERED,R_0008_0015__THE_R_0008_0017__LENSES)
                & r_0008_0015__the_r_0008_0017__lenses(R_0008_0015__THE_R_0008_0017__LENSES)
                & has_attrib(R_0008_0015__THE_R_0008_0017__LENSES,R_0008_0016__YELLOW)
                & has_arg1(R_0008_0010__HAS_R_0008_0011__ENTERED,R_0008_0012__THE_R_0008_0013__BRAIN) ) ) )
     => ? [R_0008_0004__SEEN,Z_0008_5009___STAR_,R_0008_0006__BEEN_R_0008_0007__TAUGHT,R_0008_0009__EXPERIENCED,R_0008_0008__AND,R_0008_0003__HAS] :
          ( z_0008_5009___star_(Z_0008_5009___STAR_)
          & r_0008_0003__has(R_0008_0003__HAS)
          & has_keep_scope(R_0008_0003__HAS,R_0008_0008__AND)
          & r_0008_0008__and(R_0008_0008__AND)
          & has_conj3(R_0008_0008__AND,R_0008_0009__EXPERIENCED)
          & r_0008_0009__experienced(R_0008_0009__EXPERIENCED)
          & has_arg0(R_0008_0009__EXPERIENCED,Z_0008_5005)
          & has_conj2(R_0008_0008__AND,R_0008_0006__BEEN_R_0008_0007__TAUGHT)
          & r_0008_0006__been_r_0008_0007__taught(R_0008_0006__BEEN_R_0008_0007__TAUGHT)
          & has_arg0(R_0008_0006__BEEN_R_0008_0007__TAUGHT,Z_0008_5009___STAR_)
          & has_arg2(R_0008_0006__BEEN_R_0008_0007__TAUGHT,Z_0008_5005)
          & has_conj1(R_0008_0008__AND,R_0008_0004__SEEN)
          & r_0008_0004__seen(R_0008_0004__SEEN)
          & has_arg0(R_0008_0004__SEEN,Z_0008_5005) ) ) ).