24_a_lockdown
It's all such a palaver - washing everything and making sure it's all hygienic.
( (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))
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,attrib).
arc(r_0024_0008__washing,z_0024_5001,arg0).
arc(r_0024_0008__washing,z_0024_5005,arg1).
arc(r_0024_0009__everything__quant,r_0024_0008__washing,scope).
arc(r_0024_0009__everything__quant,z_0024_5005,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_0024_5001,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_0024_5012,restriction).
arc(r_0024_0016__hygienic,z_0024_5012,nim).
fof(formula,axiom,
( ! [Z_0024_5012] :
( z_0024_5012(Z_0024_5012)
=> ? [R_0024_0012__SURE,R_0024_0016__HYGIENIC,R_0024_0014___APOS_S,Z_0024_5001,R_0024_0011__MAKING] :
( r_0024_0012__sure(R_0024_0012__SURE)
& z_0024_5001(Z_0024_5001)
& r_0024_0011__making(R_0024_0011__MAKING)
& has_arg0(R_0024_0011__MAKING,Z_0024_5001)
& 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_nim(R_0024_0016__HYGIENIC,Z_0024_5012)
& 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_attrib(R_0024_0005__A_R_0024_0006__PALAVER,R_0024_0004__SUCH) )
=> ? [R_0024_0012__SURE,Z_0024_5012,R_0024_0016__HYGIENIC,R_0024_0014___APOS_S,Z_0024_5001,R_0024_0011__MAKING,R_0024_0010__AND,R_0024_0002___APOS_S] :
( r_0024_0012__sure(R_0024_0012__SURE)
& z_0024_5001(Z_0024_5001)
& z_0024_5012(Z_0024_5012)
& 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_0024_5001)
& 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_nim(R_0024_0016__HYGIENIC,Z_0024_5012)
& has_prd(R_0024_0011__MAKING,R_0024_0012__SURE)
& ! [Z_0024_5005] :
( z_0024_5005(Z_0024_5005)
=> ? [R_0024_0008__WASHING] :
( r_0024_0008__washing(R_0024_0008__WASHING)
& has_arg1(R_0024_0008__WASHING,Z_0024_5005)
& has_arg0(R_0024_0008__WASHING,Z_0024_5001) ) )
& has_prd(R_0024_0002___APOS_S,R_0024_0005__A_R_0024_0006__PALAVER) ) ) ) ).