( (IP-MAT (ILYR (ILYR (NP-SBJ;{LAYLOR} (PRO She;{she}))
                      (HVD;_Tn_ had;{have})
                      (NP-OB1;{ACCENT} (D an;{an})
                                       (N accent;{accent})))
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (PRO I;{I}))
                             (MD;_cat_Vi_ could;{can})
                             (NEG;_clitic_ n<apos>t;{not})
                             (IP-INF-CAT (VB;_Tw_ tell;{tell})
                                         (ADVP-NIM (ADV then;{then}))
                                         (CP-QUE-OB1 (IP-SUB (ADVP-213 (WADV where;{where}))
                                                             (NP-SBJ;{ACCENT} (PRO it;{it}))
                                                             (BED;_Ipr_ was;{be[from]})
                                                             (PP-CLR (P-ROLE from;{from})
                                                                     (ADVP *ICH*-213))))
                                         (PUNC ;)
                                         (PRN (IP-MAT (NP-SBJ (PRO I;{I}))
                                                      (VBD;_Tn_ thought;{think})
                                                      (ADVP-NIM (ADV maybe;{maybe}))
                                                      (NP-OB1 (NPR Spain;{Spain}))))))))
          (PUNC .))
  (ID 27_a_loosechange))

arc(r_0027_0002__had,r_0027_0001__She,arg0).
arc(r_0027_0002__had,r_0027_0003__an_r_0027_0004__accent,arg1).
arc(r_0027_0005__but,r_0027_0002__had,conj1).
arc(r_0027_0005__but,r_0027_0008__n_apos_t,conj2).
arc(r_0027_0007__could,r_0027_0009__tell,scope).
arc(r_0027_0008__n_apos_t,r_0027_0007__could,keep_scope).
arc(r_0027_0009__tell,r_0027_0006__I,arg0).
arc(r_0027_0009__tell,r_0027_0010__then,nim).
arc(r_0027_0009__tell,r_0027_0013__was,arg1).
arc(r_0027_0009__tell,r_0027_0017__thought,prn).
arc(r_0027_0013__was,r_0027_0003__an_r_0027_0004__accent,arg0).
arc(r_0027_0013__was,r_0027_0011__where,r_0027_0014__from__clr).
arc(r_0027_0017__thought,r_0027_0006__I,arg0).
arc(r_0027_0017__thought,r_0027_0018__maybe,nim).
arc(r_0027_0017__thought,r_0027_0019__Spain,arg1).

fof(formula,axiom,
    ? [R_0027_0001__SHE,R_0027_0003__AN_R_0027_0004__ACCENT,R_0027_0002__HAD,R_0027_0005__BUT] :
      ( r_0027_0001__She(R_0027_0001__SHE)
      & r_0027_0003__an_r_0027_0004__accent(R_0027_0003__AN_R_0027_0004__ACCENT)
      & r_0027_0005__but(R_0027_0005__BUT)
      & has_conj2(R_0027_0005__BUT,R_0027_0008__N_APOS_T)
      & ~ ? [R_0027_0006__I,R_0027_0010__THEN,R_0027_0011__WHERE,R_0027_0013__WAS,R_0027_0018__MAYBE,R_0027_0019__SPAIN,R_0027_0017__THOUGHT,R_0027_0007__COULD_R_0027_0009__TELL] :
            ( r_0027_0006__I(R_0027_0006__I)
            & r_0027_0010__then(R_0027_0010__THEN)
            & r_0027_0011__where(R_0027_0011__WHERE)
            & r_0027_0018__maybe(R_0027_0018__MAYBE)
            & r_0027_0019__Spain(R_0027_0019__SPAIN)
            & r_0027_0007__could_r_0027_0009__tell(R_0027_0007__COULD_R_0027_0009__TELL)
            & has_prn(R_0027_0007__COULD_R_0027_0009__TELL,R_0027_0017__THOUGHT)
            & r_0027_0017__thought(R_0027_0017__THOUGHT)
            & has_arg1(R_0027_0017__THOUGHT,R_0027_0019__SPAIN)
            & has_nim(R_0027_0017__THOUGHT,R_0027_0018__MAYBE)
            & has_arg0(R_0027_0017__THOUGHT,R_0027_0006__I)
            & has_arg1(R_0027_0007__COULD_R_0027_0009__TELL,R_0027_0013__WAS)
            & r_0027_0013__was(R_0027_0013__WAS)
            & has_r_0027_0014__from__clr(R_0027_0013__WAS,R_0027_0011__WHERE)
            & has_arg0(R_0027_0013__WAS,R_0027_0003__AN_R_0027_0004__ACCENT)
            & has_nim(R_0027_0007__COULD_R_0027_0009__TELL,R_0027_0010__THEN)
            & has_arg0(R_0027_0007__COULD_R_0027_0009__TELL,R_0027_0006__I) )
      & has_conj1(R_0027_0005__BUT,R_0027_0002__HAD)
      & r_0027_0002__had(R_0027_0002__HAD)
      & has_arg1(R_0027_0002__HAD,R_0027_0003__AN_R_0027_0004__ACCENT)
      & has_arg0(R_0027_0002__HAD,R_0027_0001__SHE) ) ).