arc(r_0024_0002___apos_s, r_0024_0005__a_r_0024_0006__palaver, prd).
arc(r_0024_0002___apos_s, r_0024_0010__and, arg0).
arc(r_0024_0003__all_quant, r_0024_0002___apos_s, scope).
arc(r_0024_0003__all_quant, r_0024_0005__a_r_0024_0006__palaver, restriction).
arc(r_0024_0005__a_r_0024_0006__palaver, r_0024_0004__such, attrib10).
arc(r_0024_0008__washing, z_000_24_a_lockdown_2, arg0).
arc(r_0024_0008__washing, z_000_24_a_lockdown_24, arg1).
arc(r_0024_0009__everything_quant, r_0024_0008__washing, scope).
arc(r_0024_0009__everything_quant, z_000_24_a_lockdown_24, restriction).
arc(r_0024_0010__and, r_0024_0009__everything_quant, conj1).
arc(r_0024_0010__and, r_0024_0011__making, conj2).
arc(r_0024_0011__making, r_0024_0012__sure, prd).
arc(r_0024_0011__making, r_0024_0014___apos_s, arg1).
arc(r_0024_0011__making, z_000_24_a_lockdown_2, arg0).
arc(r_0024_0014___apos_s, r_0024_0016__hygienic, prd).
arc(r_0024_0015__all_quant, r_0024_0016__hygienic, scope).
arc(r_0024_0015__all_quant, z_000_24_a_lockdown_44, restriction).
arc(r_0024_0016__hygienic, z_000_24_a_lockdown_44, nim44).

fof(formula,axiom,
    ( ! [R_24_5_A_PALAVER,R_24_4_SUCH] :
        ( ( such(R_24_4_SUCH)
          & a_palaver(R_24_5_A_PALAVER)
          & attrib10(R_24_5_A_PALAVER,R_24_4_SUCH) )
       => ? [R_24_2__APOS_S,R_24_10_AND,R_24_11_MAKING,Z_24_A_LOCKDOWN_2,R_24_14__APOS_S,R_24_16_HYGIENIC,Z_24_A_LOCKDOWN_44,R_24_12_SURE] :
            ( sure(R_24_12_SURE)
            & _apos_s(R_24_2__APOS_S,R_24_10_AND,R_24_5_A_PALAVER)
            & ! [Z_24_A_LOCKDOWN_24] :
                ( true
               => ? [R_24_8_WASHING] : washing(R_24_8_WASHING,Z_24_A_LOCKDOWN_2,Z_24_A_LOCKDOWN_24) )
            & conj1(CONJ1)
            & and(R_24_10_AND)
            & conj2(R_24_10_AND,R_24_11_MAKING)
            & making(R_24_11_MAKING,Z_24_A_LOCKDOWN_2,R_24_14__APOS_S,R_24_12_SURE)
            & _apos_s(R_24_14__APOS_S)
            & prd(R_24_14__APOS_S,R_24_16_HYGIENIC)
            & hygienic(R_24_16_HYGIENIC)
            & nim44(R_24_16_HYGIENIC,Z_24_A_LOCKDOWN_44) ) )
    & ! [Z_24_A_LOCKDOWN_44] :
        ( true
       => ? [R_24_11_MAKING,Z_24_A_LOCKDOWN_2,R_24_14__APOS_S,R_24_16_HYGIENIC,R_24_12_SURE] :
            ( sure(R_24_12_SURE)
            & making(R_24_11_MAKING,Z_24_A_LOCKDOWN_2,R_24_14__APOS_S,R_24_12_SURE)
            & _apos_s(R_24_14__APOS_S)
            & prd(R_24_14__APOS_S,R_24_16_HYGIENIC)
            & hygienic(R_24_16_HYGIENIC)
            & nim44(R_24_16_HYGIENIC,Z_24_A_LOCKDOWN_44) ) ) ) ).

( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (BEP;_Ln_ <apos>s;{be})
          (NP-PRD (Q all;{all})
                  (ADJP (ADJ;_such_ such;{such}))
                  (D a;{a})
                  (N palaver;{palaver}))
          (PUNC <hyphen>)
          (IP-PPL-NSBJ (ILYR (ILYR (VAG;_Tn_ washing;{wash})
                                   (NP-OB1 (Q;_nphd_ everything;{everything})))
                             (CONJP (CONJ and;{and})
                                    (ILYR (VAG;_Cf.a_ making;{make})
                                          (ADJP-PRD (ADJ sure;{sure}))
                                          (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO;_expletive_ it;{it}))
                                                              (BEP;_La_ <apos>s;{be})
                                                              (ADJP-PRD (NP (Q;_nphd_ all;{all}))
                                                                        (ADJ hygienic;{hygienic}))))))))
          (PUNC .))
  (ID 24_a_lockdown;speaker=b))