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_105_14_CARRIED_ON,R_105_9_THE_BOY,R_105_13_JUST] :
      ( the_boy(R_105_9_THE_BOY)
      & just(R_105_13_JUST)
      & ! [Z_105_A_LOOSECHANGE_2] :
          ( ( z_105_a_loosechange_2(Z_105_A_LOOSECHANGE_2)
            & except(Z_105_A_LOOSECHANGE_2,R_105_9_THE_BOY) )
         => ? [Z_105_A_LOOSECHANGE_9,R_105_3_TO_STARE,R_105_6_HER,R_105_2_TURNED] :
              ( her(R_105_6_HER)
              & z_105_a_loosechange_9(Z_105_A_LOOSECHANGE_9)
              & conj1(Z_105_A_LOOSECHANGE_9,R_105_3_TO_STARE)
              & to_stare(R_105_3_TO_STARE,Z_105_A_LOOSECHANGE_2)
              & at_clr18(R_105_3_TO_STARE,R_105_6_HER)
              & conj2(Z_105_A_LOOSECHANGE_9,R_105_2_TURNED)
              & turned(R_105_2_TURNED,Z_105_A_LOOSECHANGE_2) ) )
      & carried_on(R_105_14_CARRIED_ON,R_105_9_THE_BOY)
      & nim37(R_105_14_CARRIED_ON,R_105_13_JUST) ) ).

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