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_25, r_0012_0012__Londoners, prd).
arc(z_000_12_a_loosechange_25, z_000_12_a_loosechange_26, arg0).
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).

fof(formula,axiom,
    ? [Z_12_A_LOOSECHANGE_2] :
      ( ! [Z_12_A_LOOSECHANGE_26] :
          ( true
         => ? [Z_12_A_LOOSECHANGE_25,R_12_12_LONDONERS] :
              ( londoners(R_12_12_LONDONERS)
              & z_12_a_loosechange_25(Z_12_A_LOOSECHANGE_25,Z_12_A_LOOSECHANGE_26,R_12_12_LONDONERS) ) )
      & conj2(CONJ2)
      & ! [Z_12_A_LOOSECHANGE_4] :
          ( true
         => ? [R_12_2_SEEMED_TO_LEAVE,R_12_5_THE_PLACE,R_12_7_AT_ONCE] :
              ( the_place(R_12_5_THE_PLACE)
              & at_once(R_12_7_AT_ONCE)
              & seemed_to_leave(R_12_2_SEEMED_TO_LEAVE,Z_12_A_LOOSECHANGE_4,R_12_5_THE_PLACE)
              & nim19(R_12_2_SEEMED_TO_LEAVE,R_12_7_AT_ONCE) ) )
      & conj1(CONJ1)
      & z_12_a_loosechange_2(Z_12_A_LOOSECHANGE_2) ) ).

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