arc(r_0126_0002__had, r_0126_0003__been, scope).
arc(r_0126_0003__been, r_0126_0001__They, arg0).
arc(r_0126_0003__been, r_0126_0005__England, r_0126_0004__in_clr15).
arc(r_0126_0003__been, r_0126_0007__three_r_0126_0008__days, r_0126_0006__for_nim21).
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_0010__they, arg0).
arc(r_0126_0011__knew, r_0126_0013__one, arg1).
arc(r_0126_0011__knew, r_0126_0014__here, nim40).
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_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_0010__THEY,R_0126_0014__HERE,R_0126_0011__KNEW] :
              ( r_0126_0010__they(R_0126_0010__THEY)
              & r_0126_0014__here(R_0126_0014__HERE)
              & r_0126_0011__knew(R_0126_0011__KNEW)
              & has_nim40(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_0010__THEY) ) )
      & has_conj1(R_0126_0009__BUT,R_0126_0002__HAD_R_0126_0003__BEEN)
      & r_0126_0002__had_r_0126_0003__been(R_0126_0002__HAD_R_0126_0003__BEEN)
      & has_r_0126_0006__for_nim21(R_0126_0002__HAD_R_0126_0003__BEEN,R_0126_0007__THREE_R_0126_0008__DAYS)
      & has_r_0126_0004__in_clr15(R_0126_0002__HAD_R_0126_0003__BEEN,R_0126_0005__ENGLAND)
      & has_arg0(R_0126_0002__HAD_R_0126_0003__BEEN,R_0126_0001__THEY) ) ).

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