24_a_lockdown
It's all such a palaver - washing everything and making sure it's all hygienic.
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,
( ! [Z_000_24_A_LOCKDOWN_44] :
( z_000_24_a_lockdown_44(Z_000_24_A_LOCKDOWN_44)
=> ? [R_0024_0012__SURE,R_0024_0016__HYGIENIC,R_0024_0014___APOS_S,Z_000_24_A_LOCKDOWN_2,R_0024_0011__MAKING] :
( r_0024_0012__sure(R_0024_0012__SURE)
& z_000_24_a_lockdown_2(Z_000_24_A_LOCKDOWN_2)
& r_0024_0011__making(R_0024_0011__MAKING)
& has_arg0(R_0024_0011__MAKING,Z_000_24_A_LOCKDOWN_2)
& has_arg1(R_0024_0011__MAKING,R_0024_0014___APOS_S)
& r_0024_0014___apos_s(R_0024_0014___APOS_S)
& has_prd(R_0024_0014___APOS_S,R_0024_0016__HYGIENIC)
& r_0024_0016__hygienic(R_0024_0016__HYGIENIC)
& has_nim44(R_0024_0016__HYGIENIC,Z_000_24_A_LOCKDOWN_44)
& has_prd(R_0024_0011__MAKING,R_0024_0012__SURE) ) )
& ! [R_0024_0005__A_R_0024_0006__PALAVER,R_0024_0004__SUCH] :
( ( r_0024_0004__such(R_0024_0004__SUCH)
& r_0024_0005__a_r_0024_0006__palaver(R_0024_0005__A_R_0024_0006__PALAVER)
& has_attrib10(R_0024_0005__A_R_0024_0006__PALAVER,R_0024_0004__SUCH) )
=> ? [R_0024_0012__SURE,Z_000_24_A_LOCKDOWN_44,R_0024_0016__HYGIENIC,R_0024_0014___APOS_S,Z_000_24_A_LOCKDOWN_2,R_0024_0011__MAKING,R_0024_0010__AND,R_0024_0002___APOS_S] :
( r_0024_0012__sure(R_0024_0012__SURE)
& z_000_24_a_lockdown_2(Z_000_24_A_LOCKDOWN_2)
& z_000_24_a_lockdown_44(Z_000_24_A_LOCKDOWN_44)
& r_0024_0002___apos_s(R_0024_0002___APOS_S)
& has_arg0(R_0024_0002___APOS_S,R_0024_0010__AND)
& r_0024_0010__and(R_0024_0010__AND)
& has_conj2(R_0024_0010__AND,R_0024_0011__MAKING)
& r_0024_0011__making(R_0024_0011__MAKING)
& has_arg0(R_0024_0011__MAKING,Z_000_24_A_LOCKDOWN_2)
& has_arg1(R_0024_0011__MAKING,R_0024_0014___APOS_S)
& r_0024_0014___apos_s(R_0024_0014___APOS_S)
& has_prd(R_0024_0014___APOS_S,R_0024_0016__HYGIENIC)
& r_0024_0016__hygienic(R_0024_0016__HYGIENIC)
& has_nim44(R_0024_0016__HYGIENIC,Z_000_24_A_LOCKDOWN_44)
& has_prd(R_0024_0011__MAKING,R_0024_0012__SURE)
& ! [Z_000_24_A_LOCKDOWN_24] :
( z_000_24_a_lockdown_24(Z_000_24_A_LOCKDOWN_24)
=> ? [R_0024_0008__WASHING] :
( r_0024_0008__washing(R_0024_0008__WASHING)
& has_arg1(R_0024_0008__WASHING,Z_000_24_A_LOCKDOWN_24)
& has_arg0(R_0024_0008__WASHING,Z_000_24_A_LOCKDOWN_2) ) )
& has_prd(R_0024_0002___APOS_S,R_0024_0005__A_R_0024_0006__PALAVER) ) ) ) ).
( (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))