47_a_lockdown
They were all too polite to say anything but they can't have not seen.

%3 r_0047_0002__were were r_0047_0001__They They r_0047_0002__were->r_0047_0001__They [arg0] r_0047_0003__all all r_0047_0002__were->r_0047_0003__all [nim] r_0047_0005__polite polite r_0047_0002__were->r_0047_0005__polite [prd] r_0047_0004__too too r_0047_0005__polite->r_0047_0004__too [qual] r_0047_0006__to_r_0047_0007__say to say r_0047_0005__polite->r_0047_0006__to_r_0047_0007__say [emb] r_0047_0008__anything anything r_0047_0006__to_r_0047_0007__say->r_0047_0008__anything [arg1] z_000_47_a_lockdown_18 r_0047_0006__to_r_0047_0007__say->z_000_47_a_lockdown_18 [arg0] r_0047_0009__but but r_0047_0009__but->r_0047_0002__were [conj1] r_0047_0012__n_apos_t n't r_0047_0009__but->r_0047_0012__n_apos_t [conj2] r_0047_0011__ca ca r_0047_0012__n_apos_t->r_0047_0011__ca [keep_scope] r_0047_0014__not not r_0047_0011__ca->r_0047_0014__not [scope] r_0047_0013__have have r_0047_0014__not->r_0047_0013__have [keep_scope] r_0047_0015__seen seen r_0047_0013__have->r_0047_0015__seen [scope] r_0047_0010__they they r_0047_0015__seen->r_0047_0010__they [arg0]
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_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_0010__they, arg0).



%3 r_0047_0013__have_r_0047_0015__seen have seen r_0047_0010__they they r_0047_0013__have_r_0047_0015__seen->r_0047_0010__they [arg0] r_0047_0011__ca_r_0047_0014__not ca not r_0047_0011__ca_r_0047_0014__not->r_0047_0013__have_r_0047_0015__seen [keep_scope] r_0047_0012__n_apos_t n't r_0047_0012__n_apos_t->r_0047_0011__ca_r_0047_0014__not [keep_scope] r_0047_0009__but but r_0047_0009__but->r_0047_0012__n_apos_t [conj2] r_0047_0002__were were r_0047_0009__but->r_0047_0002__were [conj1] r_0047_0005__polite polite r_0047_0002__were->r_0047_0005__polite [prd] r_0047_0003__all all r_0047_0002__were->r_0047_0003__all [nim] r_0047_0001__They They r_0047_0002__were->r_0047_0001__They [arg0] r_0047_0006__to_r_0047_0007__say to say z_000_47_a_lockdown_18 r_0047_0006__to_r_0047_0007__say->z_000_47_a_lockdown_18 [arg0] r_0047_0008__anything anything r_0047_0006__to_r_0047_0007__say->r_0047_0008__anything [arg1] r_0047_0005__polite->r_0047_0006__to_r_0047_0007__say [emb] r_0047_0004__too too r_0047_0005__polite->r_0047_0004__too [qual]
fof(formula,axiom,
    ? [R_47_9_BUT,R_47_2_WERE,R_47_1_THEY,R_47_3_ALL,R_47_5_POLITE,R_47_6_TO_SAY,Z_47_A_LOCKDOWN_18,R_47_8_ANYTHING,R_47_4_TOO] :
      ( they(R_47_1_THEY)
      & all(R_47_3_ALL)
      & anything(R_47_8_ANYTHING)
      & too(R_47_4_TOO)
      & but(R_47_9_BUT)
      & conj1(R_47_9_BUT,R_47_2_WERE)
      & were(R_47_2_WERE,R_47_1_THEY,R_47_5_POLITE)
      & polite(R_47_5_POLITE)
      & emb18(R_47_5_POLITE,R_47_6_TO_SAY)
      & to_say(R_47_6_TO_SAY,Z_47_A_LOCKDOWN_18,R_47_8_ANYTHING)
      & qual13(R_47_5_POLITE,R_47_4_TOO)
      & nim9(R_47_2_WERE,R_47_3_ALL)
      & conj2(R_47_9_BUT,R_47_12_N_APOS_T)
      & ~ ~ ? [R_47_13_HAVE_SEEN,R_47_10_THEY] :
              ( they(R_47_10_THEY)
              & have_seen(R_47_13_HAVE_SEEN,R_47_10_THEY) ) ) ).



n47_a_lockdown n47_a_lockdown__1_1_1_1_1_1 They n47_a_lockdown__1_1_1_2_1 were n47_a_lockdown__1_1_1_3_1_1 all n47_a_lockdown__1_1_1_4_1_1_1 too n47_a_lockdown__1_1_1_4_2_1 polite n47_a_lockdown__1_1_1_4_3_1_1 to n47_a_lockdown__1_1_1_4_3_2_1 say n47_a_lockdown__1_1_1_4_3_3_1_1 anything n47_a_lockdown__1_1_2_1_1 but n47_a_lockdown__1_1_2_2_1_1_1 they n47_a_lockdown__1_1_2_2_2_1 ca n47_a_lockdown__1_1_2_2_3_1 n't n47_a_lockdown__1_1_2_2_4_1_1 have n47_a_lockdown__1_1_2_2_4_2_1 not n47_a_lockdown__1_1_2_2_4_3_1_1 seen n47_a_lockdown__1_2_1 . n47_a_lockdown__1 IP-MAT n47_a_lockdown__1_1 ILYR n47_a_lockdown__1->n47_a_lockdown__1_1 n47_a_lockdown__1_2 PUNC n47_a_lockdown__1->n47_a_lockdown__1_2 n47_a_lockdown__1_1_1 ILYR n47_a_lockdown__1_1->n47_a_lockdown__1_1_1 n47_a_lockdown__1_1_2 CONJP n47_a_lockdown__1_1->n47_a_lockdown__1_1_2 n47_a_lockdown__1_1_1_1 NP-SBJ n47_a_lockdown__1_1_1->n47_a_lockdown__1_1_1_1 n47_a_lockdown__1_1_1_2 BED;_La_ n47_a_lockdown__1_1_1->n47_a_lockdown__1_1_1_2 n47_a_lockdown__1_1_1_3 ADVP-NIM n47_a_lockdown__1_1_1->n47_a_lockdown__1_1_1_3 n47_a_lockdown__1_1_1_4 ADJP-PRD n47_a_lockdown__1_1_1->n47_a_lockdown__1_1_1_4 n47_a_lockdown__1_1_1_1_1 PRO n47_a_lockdown__1_1_1_1->n47_a_lockdown__1_1_1_1_1 n47_a_lockdown__1_1_1_1_1->n47_a_lockdown__1_1_1_1_1_1 n47_a_lockdown__1_1_1_2->n47_a_lockdown__1_1_1_2_1 n47_a_lockdown__1_1_1_3_1 ADV n47_a_lockdown__1_1_1_3->n47_a_lockdown__1_1_1_3_1 n47_a_lockdown__1_1_1_3_1->n47_a_lockdown__1_1_1_3_1_1 n47_a_lockdown__1_1_1_4_1 ADVP n47_a_lockdown__1_1_1_4->n47_a_lockdown__1_1_1_4_1 n47_a_lockdown__1_1_1_4_2 ADJ;_cat_ n47_a_lockdown__1_1_1_4->n47_a_lockdown__1_1_1_4_2 n47_a_lockdown__1_1_1_4_3 IP-INF n47_a_lockdown__1_1_1_4->n47_a_lockdown__1_1_1_4_3 n47_a_lockdown__1_1_1_4_1_1 ADV n47_a_lockdown__1_1_1_4_1->n47_a_lockdown__1_1_1_4_1_1 n47_a_lockdown__1_1_1_4_1_1->n47_a_lockdown__1_1_1_4_1_1_1 n47_a_lockdown__1_1_1_4_2->n47_a_lockdown__1_1_1_4_2_1 n47_a_lockdown__1_1_1_4_3_1 TO n47_a_lockdown__1_1_1_4_3->n47_a_lockdown__1_1_1_4_3_1 n47_a_lockdown__1_1_1_4_3_2 VB;_Tn_ n47_a_lockdown__1_1_1_4_3->n47_a_lockdown__1_1_1_4_3_2 n47_a_lockdown__1_1_1_4_3_3 NP-OB1 n47_a_lockdown__1_1_1_4_3->n47_a_lockdown__1_1_1_4_3_3 n47_a_lockdown__1_1_1_4_3_1->n47_a_lockdown__1_1_1_4_3_1_1 n47_a_lockdown__1_1_1_4_3_2->n47_a_lockdown__1_1_1_4_3_2_1 n47_a_lockdown__1_1_1_4_3_3_1 D;_nphd_ n47_a_lockdown__1_1_1_4_3_3->n47_a_lockdown__1_1_1_4_3_3_1 n47_a_lockdown__1_1_1_4_3_3_1->n47_a_lockdown__1_1_1_4_3_3_1_1 n47_a_lockdown__1_1_2_1 CONJ n47_a_lockdown__1_1_2->n47_a_lockdown__1_1_2_1 n47_a_lockdown__1_1_2_2 ILYR n47_a_lockdown__1_1_2->n47_a_lockdown__1_1_2_2 n47_a_lockdown__1_1_2_1->n47_a_lockdown__1_1_2_1_1 n47_a_lockdown__1_1_2_2_1 NP-SBJ n47_a_lockdown__1_1_2_2->n47_a_lockdown__1_1_2_2_1 n47_a_lockdown__1_1_2_2_2 MD;_cat_Vi_ n47_a_lockdown__1_1_2_2->n47_a_lockdown__1_1_2_2_2 n47_a_lockdown__1_1_2_2_3 NEG;_clitic_ n47_a_lockdown__1_1_2_2->n47_a_lockdown__1_1_2_2_3 n47_a_lockdown__1_1_2_2_4 IP-INF-CAT n47_a_lockdown__1_1_2_2->n47_a_lockdown__1_1_2_2_4 n47_a_lockdown__1_1_2_2_1_1 PRO n47_a_lockdown__1_1_2_2_1->n47_a_lockdown__1_1_2_2_1_1 n47_a_lockdown__1_1_2_2_1_1->n47_a_lockdown__1_1_2_2_1_1_1 n47_a_lockdown__1_1_2_2_2->n47_a_lockdown__1_1_2_2_2_1 n47_a_lockdown__1_1_2_2_3->n47_a_lockdown__1_1_2_2_3_1 n47_a_lockdown__1_1_2_2_4_1 HV;_cat_Ve_ n47_a_lockdown__1_1_2_2_4->n47_a_lockdown__1_1_2_2_4_1 n47_a_lockdown__1_1_2_2_4_2 NEG n47_a_lockdown__1_1_2_2_4->n47_a_lockdown__1_1_2_2_4_2 n47_a_lockdown__1_1_2_2_4_3 IP-PPL-CAT n47_a_lockdown__1_1_2_2_4->n47_a_lockdown__1_1_2_2_4_3 n47_a_lockdown__1_1_2_2_4_1->n47_a_lockdown__1_1_2_2_4_1_1 n47_a_lockdown__1_1_2_2_4_2->n47_a_lockdown__1_1_2_2_4_2_1 n47_a_lockdown__1_1_2_2_4_3_1 VVN;_I_ n47_a_lockdown__1_1_2_2_4_3->n47_a_lockdown__1_1_2_2_4_3_1 n47_a_lockdown__1_1_2_2_4_3_1->n47_a_lockdown__1_1_2_2_4_3_1_1 n47_a_lockdown__1_2->n47_a_lockdown__1_2_1
( (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))