arc(r_0105_0001__Everyone_quant, z_000_105_a_loosechange_2, restriction).
arc(r_0105_0001__Everyone_quant, z_000_105_a_loosechange_9, scope).
arc(r_0105_0002__turned, z_000_105_a_loosechange_2, arg0).
arc(r_0105_0003__to_r_0105_0004__stare, r_0105_0006__her, r_0105_0005__at_clr18).
arc(r_0105_0003__to_r_0105_0004__stare, z_000_105_a_loosechange_2, 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, nim37).
arc(z_000_105_a_loosechange_2, r_0105_0009__the_r_0105_0010__boy, r_0105_0008__except).
arc(z_000_105_a_loosechange_9, r_0105_0002__turned, scope).
arc(z_000_105_a_loosechange_9, r_0105_0003__to_r_0105_0004__stare, 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_nim37(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_000_105_A_LOOSECHANGE_2] :
          ( ( z_000_105_a_loosechange_2(Z_000_105_A_LOOSECHANGE_2)
            & has_r_0105_0008__except(Z_000_105_A_LOOSECHANGE_2,R_0105_0009__THE_R_0105_0010__BOY) )
         => ? [R_0105_0002__TURNED,R_0105_0006__HER,R_0105_0003__TO_R_0105_0004__STARE,Z_000_105_A_LOOSECHANGE_9] :
              ( r_0105_0006__her(R_0105_0006__HER)
              & z_000_105_a_loosechange_9(Z_000_105_A_LOOSECHANGE_9)
              & has_conj1(Z_000_105_A_LOOSECHANGE_9,R_0105_0003__TO_R_0105_0004__STARE)
              & r_0105_0003__to_r_0105_0004__stare(R_0105_0003__TO_R_0105_0004__STARE)
              & has_arg0(R_0105_0003__TO_R_0105_0004__STARE,Z_000_105_A_LOOSECHANGE_2)
              & has_r_0105_0005__at_clr18(R_0105_0003__TO_R_0105_0004__STARE,R_0105_0006__HER)
              & has_conj2(Z_000_105_A_LOOSECHANGE_9,R_0105_0002__TURNED)
              & r_0105_0002__turned(R_0105_0002__TURNED)
              & has_arg0(R_0105_0002__TURNED,Z_000_105_A_LOOSECHANGE_2) ) ) ) ).

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