arc(r_0047_0002__were, r_0047_0001__They, arg0).
arc(r_0047_0002__were, r_0047_0003__all, nim9).
arc(r_0047_0002__were, r_0047_0005__polite, prd).
arc(r_0047_0005__polite, r_0047_0004__too, qual13).
arc(r_0047_0005__polite, r_0047_0006__to_r_0047_0007__say, emb18).
arc(r_0047_0006__to_r_0047_0007__say, r_0047_0008__anything, arg1).
arc(r_0047_0006__to_r_0047_0007__say, z_000_47_a_lockdown_18, arg0).
arc(r_0047_0009__but, r_0047_0002__were, conj1).
arc(r_0047_0009__but, r_0047_0011__ca_r_0047_0012__n_apos_t, conj2).
arc(r_0047_0011__ca_r_0047_0012__n_apos_t, r_0047_0013__have_r_0047_0014__not, scope).
arc(r_0047_0013__have_r_0047_0014__not, r_0047_0015__seen, scope).
arc(r_0047_0015__seen, r_0047_0010__they, arg0).

fof(formula,axiom,
    ? [R_0047_0001__THEY,R_0047_0003__ALL,R_0047_0004__TOO,R_0047_0008__ANYTHING,Z_000_47_A_LOCKDOWN_18,R_0047_0006__TO_R_0047_0007__SAY,R_0047_0005__POLITE,R_0047_0002__WERE,R_0047_0010__THEY,R_0047_0011__CA_R_0047_0012__N_APOS_T_R_0047_0013__HAVE_R_0047_0014__NOT_R_0047_0015__SEEN,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_0010__they(R_0047_0010__THEY)
      & z_000_47_a_lockdown_18(Z_000_47_A_LOCKDOWN_18)
      & r_0047_0009__but(R_0047_0009__BUT)
      & has_conj2(R_0047_0009__BUT,R_0047_0011__CA_R_0047_0012__N_APOS_T_R_0047_0013__HAVE_R_0047_0014__NOT_R_0047_0015__SEEN)
      & ~ has_arg0(R_0047_0011__CA_R_0047_0012__N_APOS_T_R_0047_0013__HAVE_R_0047_0014__NOT_R_0047_0015__SEEN,R_0047_0010__THEY)
      & has_conj1(R_0047_0009__BUT,R_0047_0002__WERE)
      & r_0047_0002__were(R_0047_0002__WERE)
      & has_prd(R_0047_0002__WERE,R_0047_0005__POLITE)
      & r_0047_0005__polite(R_0047_0005__POLITE)
      & has_emb18(R_0047_0005__POLITE,R_0047_0006__TO_R_0047_0007__SAY)
      & r_0047_0006__to_r_0047_0007__say(R_0047_0006__TO_R_0047_0007__SAY)
      & has_arg0(R_0047_0006__TO_R_0047_0007__SAY,Z_000_47_A_LOCKDOWN_18)
      & has_arg1(R_0047_0006__TO_R_0047_0007__SAY,R_0047_0008__ANYTHING)
      & has_qual13(R_0047_0005__POLITE,R_0047_0004__TOO)
      & has_nim9(R_0047_0002__WERE,R_0047_0003__ALL)
      & has_arg0(R_0047_0002__WERE,R_0047_0001__THEY) ) ).

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