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

arc(r_0012_0001__Everyone__quant,r_0012_0002__seemed,scope).
arc(r_0012_0001__Everyone__quant,z_0012_5004,restriction).
arc(r_0012_0002__seemed,r_0012_0004__leave,scope).
arc(r_0012_0004__leave,r_0012_0005__the_r_0012_0006__place,arg1).
arc(r_0012_0004__leave,r_0012_0007__at_once,nim).
arc(r_0012_0004__leave,z_0012_5004,arg0).
arc(r_0012_0009__all__quant,z_0012_5012,restriction).
arc(r_0012_0009__all__quant,z_0012_5016,scope).
arc(r_0012_0014__was,r_0012_0013__I,arg0).
arc(r_0012_0014__was,r_0012_0015__sure,prd).
arc(r_0012_0015__sure,r_0012_0017__it,r_0012_0016__of).
arc(z_0012_5001,r_0012_0001__Everyone__quant,conj1).
arc(z_0012_5001,r_0012_0009__all__quant,conj2).
arc(z_0012_5012,r_0012_0011__them,r_0012_0010__of).
arc(z_0012_5016,r_0012_0012__Londoners,prd).
arc(z_0012_5016,r_0012_0014__was,prn).
arc(z_0012_5016,z_0012_5012,arg0).

fof(formula,axiom,
    ? [Z_0012_5001] :
      ( z_0012_5001(Z_0012_5001)
      & ! [Z_0012_5012,R_0012_0011__THEM] :
          ( ( r_0012_0011__them(R_0012_0011__THEM)
            & z_0012_5012(Z_0012_5012)
            & has_r_0012_0010__of(Z_0012_5012,R_0012_0011__THEM) )
         => ? [R_0012_0012__LONDONERS,R_0012_0013__I,R_0012_0017__IT,R_0012_0015__SURE,R_0012_0014__WAS,Z_0012_5016] :
              ( r_0012_0012__Londoners(R_0012_0012__LONDONERS)
              & r_0012_0013__I(R_0012_0013__I)
              & r_0012_0017__it(R_0012_0017__IT)
              & z_0012_5016(Z_0012_5016)
              & has_arg0(Z_0012_5016,Z_0012_5012)
              & has_prn(Z_0012_5016,R_0012_0014__WAS)
              & r_0012_0014__was(R_0012_0014__WAS)
              & has_prd(R_0012_0014__WAS,R_0012_0015__SURE)
              & r_0012_0015__sure(R_0012_0015__SURE)
              & has_r_0012_0016__of(R_0012_0015__SURE,R_0012_0017__IT)
              & has_arg0(R_0012_0014__WAS,R_0012_0013__I)
              & has_prd(Z_0012_5016,R_0012_0012__LONDONERS) ) )
      & ! [Z_0012_5004] :
          ( z_0012_5004(Z_0012_5004)
         => ? [R_0012_0005__THE_R_0012_0006__PLACE,R_0012_0007__AT_ONCE,R_0012_0002__SEEMED_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_0004__leave(R_0012_0002__SEEMED_R_0012_0004__LEAVE)
              & has_arg0(R_0012_0002__SEEMED_R_0012_0004__LEAVE,Z_0012_5004)
              & has_nim(R_0012_0002__SEEMED_R_0012_0004__LEAVE,R_0012_0007__AT_ONCE)
              & has_arg1(R_0012_0002__SEEMED_R_0012_0004__LEAVE,R_0012_0005__THE_R_0012_0006__PLACE) ) ) ) ).