( (IP-MAT (ILYR (ILYR (NP-SBJ;{LAYLOR+BROTHER} (PRO They;{they}))
                      (HVD;_cat_Ve_ had;{have})
                      (IP-PPL-CAT (BEN;_Ipr_ been;{be[in]})
                                  (PP-CLR (P-ROLE in;{in})
                                          (NP (NPR England;{England})))
                                  (PP-NIM (P-ROLE for;{for})
                                          (NP (NUM three;{three})
                                              (NS days;{day})))))
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{LAYLOR+BROTHER} (PRO they;{they}))
                             (VBD;__ knew;{know})
                             (NP-OB1 (Q no;{no})
                                     (N one;{one}))
                             (ADVP-NIM (ADV here;{here})))))
          (PUNC .))
  (ID 126_a_loosechange))

arc(r_0126_0002__had,r_0126_0003__been_r_0126_0004__in,scope).
arc(r_0126_0003__been_r_0126_0004__in,r_0126_0001__They,arg0).
arc(r_0126_0003__been_r_0126_0004__in,r_0126_0005__England,arg1).
arc(r_0126_0003__been_r_0126_0004__in,r_0126_0007__three_r_0126_0008__days,r_0126_0006__for__nim).
arc(r_0126_0009__but,r_0126_0002__had,conj1).
arc(r_0126_0009__but,r_0126_0012__no__quant,conj2).
arc(r_0126_0011__knew,r_0126_0001__They,arg0).
arc(r_0126_0011__knew,r_0126_0013__one,arg1).
arc(r_0126_0011__knew,r_0126_0014__here,nim).
arc(r_0126_0012__no__quant,r_0126_0011__knew,scope).
arc(r_0126_0012__no__quant,r_0126_0013__one,restriction).

fof(formula,axiom,
    ? [R_0126_0001__THEY,R_0126_0005__ENGLAND,R_0126_0007__THREE_R_0126_0008__DAYS,R_0126_0002__HAD_R_0126_0003__BEEN_R_0126_0004__IN,R_0126_0009__BUT] :
      ( r_0126_0001__They(R_0126_0001__THEY)
      & r_0126_0005__England(R_0126_0005__ENGLAND)
      & r_0126_0007__three_r_0126_0008__days(R_0126_0007__THREE_R_0126_0008__DAYS)
      & r_0126_0009__but(R_0126_0009__BUT)
      & ! [R_0126_0013__ONE] :
          ( r_0126_0013__one(R_0126_0013__ONE)
         => ? [R_0126_0014__HERE,R_0126_0011__KNEW] :
              ( r_0126_0014__here(R_0126_0014__HERE)
              & r_0126_0011__knew(R_0126_0011__KNEW)
              & has_nim(R_0126_0011__KNEW,R_0126_0014__HERE)
              & has_arg1(R_0126_0011__KNEW,R_0126_0013__ONE)
              & has_arg0(R_0126_0011__KNEW,R_0126_0001__THEY) ) )
      & has_conj1(R_0126_0009__BUT,R_0126_0002__HAD_R_0126_0003__BEEN_R_0126_0004__IN)
      & r_0126_0002__had_r_0126_0003__been_r_0126_0004__in(R_0126_0002__HAD_R_0126_0003__BEEN_R_0126_0004__IN)
      & has_r_0126_0006__for__nim(R_0126_0002__HAD_R_0126_0003__BEEN_R_0126_0004__IN,R_0126_0007__THREE_R_0126_0008__DAYS)
      & has_arg1(R_0126_0002__HAD_R_0126_0003__BEEN_R_0126_0004__IN,R_0126_0005__ENGLAND)
      & has_arg0(R_0126_0002__HAD_R_0126_0003__BEEN_R_0126_0004__IN,R_0126_0001__THEY) ) ).