( (IP-MAT (ILYR (ILYR (NP-SBJ;{COLLEAGUES} (PRO They;{they}))
                      (BED;_La_ were;{be})
                      (ADVP-NIM (ADV all;{all}))
                      (ADJP-PRD (ADVP (ADV too;{too}))
                                (ADJ;_cat_ polite;{polite})
                                (IP-INF (TO to;{to})
                                        (VB;_Tn_ say;{say})
                                        (NP-OB1 (D;_nphd_ anything;{anything})))))
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{COLLEAGUES} (PRO they;{they}))
                             (MD;_cat_Vi_ ca;{can})
                             (NEG;_clitic_ n<apos>t;{not})
                             (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                         (NEG not;{not})
                                         (IP-PPL-CAT (VVN;_I_ seen;{see}))))))
          (PUNC .))
  (ID 47_a_lockdown;speaker=d))

arc(r_0047_0002__were,r_0047_0003__all,nim).
arc(r_0047_0002__were,r_0047_0005__polite,scope).
arc(r_0047_0005__polite,r_0047_0004__too,qual).
arc(r_0047_0005__polite,r_0047_0007__say,scope).
arc(r_0047_0007__say,r_0047_0001__They,arg0).
arc(r_0047_0007__say,r_0047_0008__anything,arg1).
arc(r_0047_0009__but,r_0047_0002__were,conj1).
arc(r_0047_0009__but,r_0047_0012__n_apos_t,conj2).
arc(r_0047_0011__ca,r_0047_0014__not,scope).
arc(r_0047_0012__n_apos_t,r_0047_0011__ca,keep_scope).
arc(r_0047_0013__have,r_0047_0015__seen,scope).
arc(r_0047_0014__not,r_0047_0013__have,keep_scope).
arc(r_0047_0015__seen,r_0047_0001__They,arg0).

fof(formula,axiom,
    ? [R_0047_0003__ALL,R_0047_0004__TOO,R_0047_0001__THEY,R_0047_0008__ANYTHING,R_0047_0002__WERE_R_0047_0005__POLITE_R_0047_0007__SAY,R_0047_0009__BUT] :
      ( r_0047_0001__They(R_0047_0001__THEY)
      & r_0047_0003__all(R_0047_0003__ALL)
      & r_0047_0004__too(R_0047_0004__TOO)
      & r_0047_0008__anything(R_0047_0008__ANYTHING)
      & r_0047_0009__but(R_0047_0009__BUT)
      & has_conj2(R_0047_0009__BUT,R_0047_0012__N_APOS_T)
      & ~ ~ ? [R_0047_0013__HAVE_R_0047_0015__SEEN] :
              ( r_0047_0013__have_r_0047_0015__seen(R_0047_0013__HAVE_R_0047_0015__SEEN)
              & has_arg0(R_0047_0013__HAVE_R_0047_0015__SEEN,R_0047_0001__THEY) )
      & has_conj1(R_0047_0009__BUT,R_0047_0002__WERE_R_0047_0005__POLITE_R_0047_0007__SAY)
      & r_0047_0002__were_r_0047_0005__polite_r_0047_0007__say(R_0047_0002__WERE_R_0047_0005__POLITE_R_0047_0007__SAY)
      & has_arg1(R_0047_0002__WERE_R_0047_0005__POLITE_R_0047_0007__SAY,R_0047_0008__ANYTHING)
      & has_arg0(R_0047_0002__WERE_R_0047_0005__POLITE_R_0047_0007__SAY,R_0047_0001__THEY)
      & has_qual(R_0047_0002__WERE_R_0047_0005__POLITE_R_0047_0007__SAY,R_0047_0004__TOO)
      & has_nim(R_0047_0002__WERE_R_0047_0005__POLITE_R_0047_0007__SAY,R_0047_0003__ALL) ) ).