33_a_lockdown
So I just think “I'm going to do mine and leave her to disinfect hers if she wants.”
arc(r_0033_0004__think, r_0033_0001__So, nim2).
arc(r_0033_0004__think, r_0033_0002__I, arg0).
arc(r_0033_0004__think, r_0033_0003__just, nim8).
arc(r_0033_0004__think, r_0033_0007___apos_m, arg1).
arc(r_0033_0007___apos_m, r_0033_0008__going, scope).
arc(r_0033_0008__going, r_0033_0012__and, scope).
arc(r_0033_0010__do, r_0033_0002__I, arg0).
arc(r_0033_0010__do, z_000_33_a_lockdown_32, arg1).
arc(r_0033_0012__and, r_0033_0010__do, conj1).
arc(r_0033_0012__and, r_0033_0013__leave, conj2).
arc(r_0033_0013__leave, r_0033_0002__I, arg0).
arc(r_0033_0013__leave, r_0033_0018__if, arg1).
arc(r_0033_0015__to_r_0033_0016__disinfect, r_0033_0014__her, arg0).
arc(r_0033_0015__to_r_0033_0016__disinfect, z_000_33_a_lockdown_50, arg1).
arc(r_0033_0018__if, r_0033_0015__to_r_0033_0016__disinfect, scope).
arc(r_0033_0018__if, r_0033_0020__wants, restriction).
arc(r_0033_0020__wants, r_0033_0014__her, arg0).
arc(r_0033_0020__wants, r_0033_1001____star__, arg1).
arc(r_0033_1001____star__, r_0033_0014__her, arg0).
arc(z_000_33_a_lockdown_32, r_0033_0002__I, gen).
arc(z_000_33_a_lockdown_50, r_0033_0014__her, gen).
fof(formula,axiom,
? [R_0033_0001__SO,R_0033_0002__I,R_0033_0003__JUST,Z_000_33_A_LOCKDOWN_32,R_0033_0010__DO,R_0033_0013__LEAVE,R_0033_0012__AND,R_0033_0007___APOS_M_R_0033_0008__GOING,R_0033_0004__THINK] :
( r_0033_0001__So(R_0033_0001__SO)
& r_0033_0002__I(R_0033_0002__I)
& r_0033_0003__just(R_0033_0003__JUST)
& r_0033_0004__think(R_0033_0004__THINK)
& has_arg1(R_0033_0004__THINK,R_0033_0007___APOS_M_R_0033_0008__GOING)
& r_0033_0007___apos_m_r_0033_0008__going(R_0033_0007___APOS_M_R_0033_0008__GOING)
& has_keep_scope(R_0033_0007___APOS_M_R_0033_0008__GOING,R_0033_0012__AND)
& r_0033_0012__and(R_0033_0012__AND)
& has_conj2(R_0033_0012__AND,R_0033_0013__LEAVE)
& r_0033_0013__leave(R_0033_0013__LEAVE)
& ! [R_0033_0020__WANTS,R_0033_0014__HER,R_0033_1001____STAR__] :
( ( r_0033_0014__her(R_0033_0014__HER)
& r_0033_0020__wants(R_0033_0020__WANTS)
& has_arg1(R_0033_0020__WANTS,R_0033_1001____STAR__)
& r_0033_1001____star__(R_0033_1001____STAR__)
& has_arg0(R_0033_1001____STAR__,R_0033_0014__HER)
& has_arg0(R_0033_0020__WANTS,R_0033_0014__HER) )
=> ? [Z_000_33_A_LOCKDOWN_50,R_0033_0015__TO_R_0033_0016__DISINFECT] :
( r_0033_0015__to_r_0033_0016__disinfect(R_0033_0015__TO_R_0033_0016__DISINFECT)
& has_arg1(R_0033_0015__TO_R_0033_0016__DISINFECT,Z_000_33_A_LOCKDOWN_50)
& z_000_33_a_lockdown_50(Z_000_33_A_LOCKDOWN_50)
& has_gen(Z_000_33_A_LOCKDOWN_50,R_0033_0014__HER)
& has_arg0(R_0033_0015__TO_R_0033_0016__DISINFECT,R_0033_0014__HER) ) )
& has_arg0(R_0033_0013__LEAVE,R_0033_0002__I)
& has_conj1(R_0033_0012__AND,R_0033_0010__DO)
& r_0033_0010__do(R_0033_0010__DO)
& has_arg1(R_0033_0010__DO,Z_000_33_A_LOCKDOWN_32)
& z_000_33_a_lockdown_32(Z_000_33_A_LOCKDOWN_32)
& has_gen(Z_000_33_A_LOCKDOWN_32,R_0033_0002__I)
& has_arg0(R_0033_0010__DO,R_0033_0002__I)
& has_nim8(R_0033_0004__THINK,R_0033_0003__JUST)
& has_arg0(R_0033_0004__THINK,R_0033_0002__I)
& has_nim2(R_0033_0004__THINK,R_0033_0001__SO) ) ).
( (IP-MAT (ADVP-NIM (ADV So;{so}))
(NP-SBJ;{PERSON_B} (PRO I;{I}))
(ADVP-NIM (ADV just;{just}))
(VBP;_Tf_ think;{think})
(PULQ <ldquo>)
(CP-THT-OB1 (IP-SUB (NP-SBJ;{PERSON_B} (PRO I;{I}))
(BEP;_cat_Vg_ <apos>m;{be})
(IP-PPL-CAT (VAG;_cat_Vt_ going;{go})
(IP-INF-CAT (TO to;{to})
(ILYR (ILYR (DO;_Tn_ do;{do})
(NP-OB1 (NP-GEN;{PERSON_B} (PRO;_ppge_ mine;{mine}))))
(CONJP (CONJ and;{and})
(ILYR (VB;_Tnt_ leave;{leave})
(NP-DOB1;{MOTHER_IN_LAW_OF_B} (PRO her;{her}))
(IP-INF-OB1 (TO to;{to})
(VB;_Tn_ disinfect;{disinfect})
(NP-OB1 (NP-GEN;{MOTHER_IN_LAW_OF_B} (PRO;_ppge_ hers;{hers})))
(PP-SCON (P-CONN if;{if})
(IP-ADV (NP-SBJ;{MOTHER_IN_LAW_OF_B} (PRO she;{she}))
(VBP;_Tt_ wants;{want})
(IP-INF-OB1 (VB _*_))))))))))))
(PUNC .)
(PURQ <rdquo>))
(ID 33_a_lockdown;speaker=b))