arc(r_0012_0001__Everyone_quant, r_0012_0002__seemed, scope).
arc(r_0012_0001__Everyone_quant, z_000_12_a_loosechange_4, restriction).
arc(r_0012_0002__seemed, r_0012_0003__to_r_0012_0004__leave, scope).
arc(r_0012_0003__to_r_0012_0004__leave, r_0012_0005__the_r_0012_0006__place, arg1).
arc(r_0012_0003__to_r_0012_0004__leave, r_0012_0007__at_once, nim19).
arc(r_0012_0003__to_r_0012_0004__leave, z_000_12_a_loosechange_4, arg0).
arc(r_0012_0009__all_quant, z_000_12_a_loosechange_25, scope).
arc(r_0012_0009__all_quant, z_000_12_a_loosechange_26, restriction).
arc(z_000_12_a_loosechange_2, r_0012_0001__Everyone_quant, conj1).
arc(z_000_12_a_loosechange_2, r_0012_0009__all_quant, conj2).
arc(z_000_12_a_loosechange_25, r_0012_0012__Londoners, prd).
arc(z_000_12_a_loosechange_25, z_000_12_a_loosechange_26, arg0).

fof(formula,axiom,
    ? [Z_000_12_A_LOOSECHANGE_2] :
      ( z_000_12_a_loosechange_2(Z_000_12_A_LOOSECHANGE_2)
      & ! [Z_000_12_A_LOOSECHANGE_26] :
          ( z_000_12_a_loosechange_26(Z_000_12_A_LOOSECHANGE_26)
         => ? [R_0012_0012__LONDONERS,Z_000_12_A_LOOSECHANGE_25] :
              ( r_0012_0012__Londoners(R_0012_0012__LONDONERS)
              & z_000_12_a_loosechange_25(Z_000_12_A_LOOSECHANGE_25)
              & has_arg0(Z_000_12_A_LOOSECHANGE_25,Z_000_12_A_LOOSECHANGE_26)
              & has_prd(Z_000_12_A_LOOSECHANGE_25,R_0012_0012__LONDONERS) ) )
      & ! [Z_000_12_A_LOOSECHANGE_4] :
          ( z_000_12_a_loosechange_4(Z_000_12_A_LOOSECHANGE_4)
         => ? [R_0012_0005__THE_R_0012_0006__PLACE,R_0012_0007__AT_ONCE,R_0012_0002__SEEMED_R_0012_0003__TO_R_0012_0004__LEAVE] :
              ( r_0012_0005__the_r_0012_0006__place(R_0012_0005__THE_R_0012_0006__PLACE)
              & r_0012_0007__at_once(R_0012_0007__AT_ONCE)
              & r_0012_0002__seemed_r_0012_0003__to_r_0012_0004__leave(R_0012_0002__SEEMED_R_0012_0003__TO_R_0012_0004__LEAVE)
              & has_arg0(R_0012_0002__SEEMED_R_0012_0003__TO_R_0012_0004__LEAVE,Z_000_12_A_LOOSECHANGE_4)
              & has_nim19(R_0012_0002__SEEMED_R_0012_0003__TO_R_0012_0004__LEAVE,R_0012_0007__AT_ONCE)
              & has_arg1(R_0012_0002__SEEMED_R_0012_0003__TO_R_0012_0004__LEAVE,R_0012_0005__THE_R_0012_0006__PLACE) ) ) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ;{PERSONS} (Q;_nphd_ Everyone;{everyone}))
                      (VBD;_cat_Vt_ seemed;{seem})
                      (IP-INF-CAT (TO to;{to})
                                  (VB;_Tn_ leave;{leave})
                                  (NP-OB1;{LAVATORY} (D the;{the})
                                                     (N place;{place}))
                                  (ADVP-NIM (ADV at_once;{at_once}))))
                (PUNC <hyphen>)
                (CONJP (ILYR (NP-SBJ (Q;_nphd_ all;{all})
                                     (PP (P-ROLE of;{of})
                                         (NP (PRO them;{they}))))
                             (NP-PRD (NPRS Londoners;{Londoners}))
                             (PRN (IP-MAT (NP-SBJ (PRO I;{I}))
                                          (BED;_La_ was;{be})
                                          (ADJP-PRD (ADJ sure;{sure})
                                                    (PP (P-ROLE of;{of})
                                                        (NP (PRO it;{it})))))))))
          (PUNC .))
  (ID 12_a_loosechange))