( (IP-MAT (NP-SBJ (Q;_nphd_ Everyone;{everyone})
                  (PP *ICH*-153))
          (VBD;_I_ turned;{turn})
          (PP-SCON (IP-INF (TO to;{to})
                           (VB;_Ipr_ stare;{stare[at]})
                           (PP-CLR (P-ROLE at;{at})
                                   (NP;{LAYLOR} (PRO her;{her})))))
          (PUNC ,)
          (PP-EPD-153 (P-ROLE except;{except})
                      (NP (D the;{the})
                          (N boy;{boy})
                          (PUNC ,)
                          (IP-REL (NP-SBJ (RPRO who;{who}))
                                  (ADVP-NIM (ADV just;{just}))
                                  (VBD;_phr_Vp_ carried;{carry[on]})
                                  (RP on;{on}))))
          (PUNC .))
  (ID 105_a_loosechange))

arc(r_0105_0001__Everyone__quant,z_0105_5006,restriction).
arc(r_0105_0001__Everyone__quant,z_0105_5007,scope).
arc(r_0105_0002__turned,z_0105_5006,arg0).
arc(r_0105_0004__stare_r_0105_0005__at,r_0105_0006__her,arg1).
arc(r_0105_0004__stare_r_0105_0005__at,z_0105_5006,arg0).
arc(r_0105_0014__carried_r_0105_0015__on,r_0105_0009__the_r_0105_0010__boy,arg0).
arc(r_0105_0014__carried_r_0105_0015__on,r_0105_0013__just,nim).
arc(z_0105_5006,r_0105_0009__the_r_0105_0010__boy,r_0105_0008__except).
arc(z_0105_5007,r_0105_0002__turned,scope).
arc(z_0105_5007,r_0105_0004__stare_r_0105_0005__at,restriction).

fof(formula,axiom,
    ? [R_0105_0009__THE_R_0105_0010__BOY,R_0105_0013__JUST,R_0105_0014__CARRIED_R_0105_0015__ON] :
      ( r_0105_0009__the_r_0105_0010__boy(R_0105_0009__THE_R_0105_0010__BOY)
      & r_0105_0013__just(R_0105_0013__JUST)
      & r_0105_0014__carried_r_0105_0015__on(R_0105_0014__CARRIED_R_0105_0015__ON)
      & has_nim(R_0105_0014__CARRIED_R_0105_0015__ON,R_0105_0013__JUST)
      & has_arg0(R_0105_0014__CARRIED_R_0105_0015__ON,R_0105_0009__THE_R_0105_0010__BOY)
      & ! [Z_0105_5006] :
          ( ( z_0105_5006(Z_0105_5006)
            & has_r_0105_0008__except(Z_0105_5006,R_0105_0009__THE_R_0105_0010__BOY) )
         => ? [R_0105_0002__TURNED,R_0105_0006__HER,R_0105_0004__STARE_R_0105_0005__AT,Z_0105_5007] :
              ( r_0105_0006__her(R_0105_0006__HER)
              & z_0105_5007(Z_0105_5007)
              & has_conj1(Z_0105_5007,R_0105_0004__STARE_R_0105_0005__AT)
              & r_0105_0004__stare_r_0105_0005__at(R_0105_0004__STARE_R_0105_0005__AT)
              & has_arg0(R_0105_0004__STARE_R_0105_0005__AT,Z_0105_5006)
              & has_arg1(R_0105_0004__STARE_R_0105_0005__AT,R_0105_0006__HER)
              & has_conj2(Z_0105_5007,R_0105_0002__TURNED)
              & r_0105_0002__turned(R_0105_0002__TURNED)
              & has_arg0(R_0105_0002__TURNED,Z_0105_5006) ) ) ) ).