Context                Previous, Next                Top


33_a_lockdown
So I just think “I'm going to do mine and leave her to disinfect hers if she wants.”

%3 r_0033_0004__think think r_0033_0001__So So r_0033_0004__think->r_0033_0001__So [nim] r_0033_0002__I I r_0033_0004__think->r_0033_0002__I [arg0] r_0033_0003__just just r_0033_0004__think->r_0033_0003__just [nim] r_0033_0007___apos_m 'm r_0033_0004__think->r_0033_0007___apos_m [arg1] r_0033_0008__going going r_0033_0007___apos_m->r_0033_0008__going [scope] r_0033_0012__and and r_0033_0008__going->r_0033_0012__and [scope] r_0033_0010__do do r_0033_0012__and->r_0033_0010__do [conj1] r_0033_0013__leave leave r_0033_0012__and->r_0033_0013__leave [conj2] r_0033_0010__do->r_0033_0002__I [arg0] z_000_33_a_lockdown_32 r_0033_0010__do->z_000_33_a_lockdown_32 [arg1] z_000_33_a_lockdown_32->r_0033_0002__I [gen] r_0033_0013__leave->r_0033_0002__I [arg0] r_0033_0018__if if r_0033_0013__leave->r_0033_0018__if [arg1] r_0033_0015__to_r_0033_0016__disinfect to disinfect r_0033_0018__if->r_0033_0015__to_r_0033_0016__disinfect [scope] r_0033_0020__wants wants r_0033_0018__if->r_0033_0020__wants [restriction] r_0033_0014__her her r_0033_0015__to_r_0033_0016__disinfect->r_0033_0014__her [arg0] z_000_33_a_lockdown_50 r_0033_0015__to_r_0033_0016__disinfect->z_000_33_a_lockdown_50 [arg1] z_000_33_a_lockdown_50->r_0033_0014__her [gen] r_0033_0020__wants->r_0033_0014__her [arg0] r_0033_1001____star__ * r_0033_0020__wants->r_0033_1001____star__ [arg1] r_0033_1001____star__->r_0033_0014__her [arg0] 
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).


%3 r_0033_0007___apos_m_r_0033_0008__going 'm going r_0033_0012__and and r_0033_0007___apos_m_r_0033_0008__going->r_0033_0012__and [keep_scope] r_0033_0013__leave leave r_0033_0012__and->r_0033_0013__leave [conj2] r_0033_0010__do do r_0033_0012__and->r_0033_0010__do [conj1] z_000_33_a_lockdown_50 r_0033_0014__her her z_000_33_a_lockdown_50->r_0033_0014__her [gen] z_000_33_a_lockdown_32 r_0033_0002__I I z_000_33_a_lockdown_32->r_0033_0002__I [gen] r_0033_1001____star__ * r_0033_1001____star__->r_0033_0014__her [arg0] r_0033_0020__wants wants r_0033_0020__wants->r_0033_0014__her [arg0] r_0033_0020__wants->r_0033_1001____star__ [arg1] r_0033_0018__if if r_0033_0018__if->r_0033_0020__wants [restriction] r_0033_0015__to_r_0033_0016__disinfect to disinfect r_0033_0018__if->r_0033_0015__to_r_0033_0016__disinfect [scope] r_0033_0015__to_r_0033_0016__disinfect->z_000_33_a_lockdown_50 [arg1] r_0033_0015__to_r_0033_0016__disinfect->r_0033_0014__her [arg0] r_0033_0013__leave->r_0033_0002__I [arg0] r_0033_0013__leave->r_0033_0018__if [arg1] r_0033_0010__do->z_000_33_a_lockdown_32 [arg1] r_0033_0010__do->r_0033_0002__I [arg0] r_0033_0004__think think r_0033_0004__think->r_0033_0007___apos_m_r_0033_0008__going [arg1] r_0033_0004__think->r_0033_0002__I [arg0] r_0033_0003__just just r_0033_0004__think->r_0033_0003__just [nim] r_0033_0001__So So r_0033_0004__think->r_0033_0001__So [nim] 
fof(formula,axiom,
    ? [R_33_4_THINK,R_33_2_I,R_33_1_SO,R_33_3_JUST] :
      ( i(R_33_2_I)
      & so(R_33_1_SO)
      & just(R_33_3_JUST)
      & think(R_33_4_THINK,R_33_2_I,R_33_7__APOS_M_GOING)
      & ~ ? [R_33_12_AND,R_33_10_DO,Z_33_A_LOCKDOWN_32,R_33_13_LEAVE] :
            ( and(R_33_12_AND)
            & conj1(R_33_12_AND,R_33_10_DO)
            & do(R_33_10_DO,R_33_2_I,Z_33_A_LOCKDOWN_32)
            & z_33_a_lockdown_32(Z_33_A_LOCKDOWN_32)
            & gen(Z_33_A_LOCKDOWN_32,R_33_2_I)
            & conj2(R_33_12_AND,R_33_13_LEAVE)
            & ! [R_33_20_WANTS,R_33_1001__STAR_,R_33_14_HER] :
                ( ( her(R_33_14_HER)
                  & wants(R_33_20_WANTS,R_33_14_HER,R_33_1001__STAR_)
                  & _star_(R_33_1001__STAR_,R_33_14_HER) )
               => ? [R_33_15_TO_DISINFECT,Z_33_A_LOCKDOWN_50] :
                    ( to_disinfect(R_33_15_TO_DISINFECT,R_33_14_HER,Z_33_A_LOCKDOWN_50)
                    & z_33_a_lockdown_50(Z_33_A_LOCKDOWN_50)
                    & gen(Z_33_A_LOCKDOWN_50,R_33_14_HER) ) )
            & arg1(ARG1)
            & leave(R_33_13_LEAVE,R_33_2_I) )
      & nim2(R_33_4_THINK,R_33_1_SO)
      & nim8(R_33_4_THINK,R_33_3_JUST) ) ).


n33_a_lockdown n33_a_lockdown__1_1_1_1 So n33_a_lockdown__1_2_1_1 I n33_a_lockdown__1_3_1_1 just n33_a_lockdown__1_4_1 think n33_a_lockdown__1_5_1 <ldquo> n33_a_lockdown__1_6_1_1_1_1 I n33_a_lockdown__1_6_1_2_1 'm n33_a_lockdown__1_6_1_3_1_1 going n33_a_lockdown__1_6_1_3_2_1_1 to n33_a_lockdown__1_6_1_3_2_2_1_1_1 do n33_a_lockdown__1_6_1_3_2_2_1_2_1_1_1 mine n33_a_lockdown__1_6_1_3_2_2_2_1_1 and n33_a_lockdown__1_6_1_3_2_2_2_2_1_1 leave n33_a_lockdown__1_6_1_3_2_2_2_2_2_1_1 her n33_a_lockdown__1_6_1_3_2_2_2_2_3_1_1 to n33_a_lockdown__1_6_1_3_2_2_2_2_3_2_1 disinfect n33_a_lockdown__1_6_1_3_2_2_2_2_3_3_1_1_1 hers n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_1_1 if n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2_1_1_1 she n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2_2_1 wants n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2_3_1_1 _*_ n33_a_lockdown__1_7_1 . n33_a_lockdown__1_8_1 <rdquo> n33_a_lockdown__1 IP-MAT n33_a_lockdown__1_1 ADVP-NIM n33_a_lockdown__1->n33_a_lockdown__1_1 n33_a_lockdown__1_2 NP-SBJ n33_a_lockdown__1->n33_a_lockdown__1_2 n33_a_lockdown__1_3 ADVP-NIM n33_a_lockdown__1->n33_a_lockdown__1_3 n33_a_lockdown__1_4 VBP;_Tf_ n33_a_lockdown__1->n33_a_lockdown__1_4 n33_a_lockdown__1_5 PULQ n33_a_lockdown__1->n33_a_lockdown__1_5 n33_a_lockdown__1_6 CP-THT-OB1 n33_a_lockdown__1->n33_a_lockdown__1_6 n33_a_lockdown__1_7 PUNC n33_a_lockdown__1->n33_a_lockdown__1_7 n33_a_lockdown__1_8 PURQ n33_a_lockdown__1->n33_a_lockdown__1_8 n33_a_lockdown__1_1_1 ADV n33_a_lockdown__1_1->n33_a_lockdown__1_1_1 n33_a_lockdown__1_1_1->n33_a_lockdown__1_1_1_1 n33_a_lockdown__1_2_1 PRO n33_a_lockdown__1_2->n33_a_lockdown__1_2_1 n33_a_lockdown__1_2_1->n33_a_lockdown__1_2_1_1 n33_a_lockdown__1_3_1 ADV n33_a_lockdown__1_3->n33_a_lockdown__1_3_1 n33_a_lockdown__1_3_1->n33_a_lockdown__1_3_1_1 n33_a_lockdown__1_4->n33_a_lockdown__1_4_1 n33_a_lockdown__1_5->n33_a_lockdown__1_5_1 n33_a_lockdown__1_6_1 IP-SUB n33_a_lockdown__1_6->n33_a_lockdown__1_6_1 n33_a_lockdown__1_6_1_1 NP-SBJ n33_a_lockdown__1_6_1->n33_a_lockdown__1_6_1_1 n33_a_lockdown__1_6_1_2 BEP;_cat_Vg_ n33_a_lockdown__1_6_1->n33_a_lockdown__1_6_1_2 n33_a_lockdown__1_6_1_3 IP-PPL-CAT n33_a_lockdown__1_6_1->n33_a_lockdown__1_6_1_3 n33_a_lockdown__1_6_1_1_1 PRO n33_a_lockdown__1_6_1_1->n33_a_lockdown__1_6_1_1_1 n33_a_lockdown__1_6_1_1_1->n33_a_lockdown__1_6_1_1_1_1 n33_a_lockdown__1_6_1_2->n33_a_lockdown__1_6_1_2_1 n33_a_lockdown__1_6_1_3_1 VAG;_cat_Vt_ n33_a_lockdown__1_6_1_3->n33_a_lockdown__1_6_1_3_1 n33_a_lockdown__1_6_1_3_2 IP-INF-CAT n33_a_lockdown__1_6_1_3->n33_a_lockdown__1_6_1_3_2 n33_a_lockdown__1_6_1_3_1->n33_a_lockdown__1_6_1_3_1_1 n33_a_lockdown__1_6_1_3_2_1 TO n33_a_lockdown__1_6_1_3_2->n33_a_lockdown__1_6_1_3_2_1 n33_a_lockdown__1_6_1_3_2_2 ILYR n33_a_lockdown__1_6_1_3_2->n33_a_lockdown__1_6_1_3_2_2 n33_a_lockdown__1_6_1_3_2_1->n33_a_lockdown__1_6_1_3_2_1_1 n33_a_lockdown__1_6_1_3_2_2_1 ILYR n33_a_lockdown__1_6_1_3_2_2->n33_a_lockdown__1_6_1_3_2_2_1 n33_a_lockdown__1_6_1_3_2_2_2 CONJP n33_a_lockdown__1_6_1_3_2_2->n33_a_lockdown__1_6_1_3_2_2_2 n33_a_lockdown__1_6_1_3_2_2_1_1 DO;_Tn_ n33_a_lockdown__1_6_1_3_2_2_1->n33_a_lockdown__1_6_1_3_2_2_1_1 n33_a_lockdown__1_6_1_3_2_2_1_2 NP-OB1 n33_a_lockdown__1_6_1_3_2_2_1->n33_a_lockdown__1_6_1_3_2_2_1_2 n33_a_lockdown__1_6_1_3_2_2_1_1->n33_a_lockdown__1_6_1_3_2_2_1_1_1 n33_a_lockdown__1_6_1_3_2_2_1_2_1 NP-GEN n33_a_lockdown__1_6_1_3_2_2_1_2->n33_a_lockdown__1_6_1_3_2_2_1_2_1 n33_a_lockdown__1_6_1_3_2_2_1_2_1_1 PRO;_ppge_ n33_a_lockdown__1_6_1_3_2_2_1_2_1->n33_a_lockdown__1_6_1_3_2_2_1_2_1_1 n33_a_lockdown__1_6_1_3_2_2_1_2_1_1->n33_a_lockdown__1_6_1_3_2_2_1_2_1_1_1 n33_a_lockdown__1_6_1_3_2_2_2_1 CONJ n33_a_lockdown__1_6_1_3_2_2_2->n33_a_lockdown__1_6_1_3_2_2_2_1 n33_a_lockdown__1_6_1_3_2_2_2_2 ILYR n33_a_lockdown__1_6_1_3_2_2_2->n33_a_lockdown__1_6_1_3_2_2_2_2 n33_a_lockdown__1_6_1_3_2_2_2_1->n33_a_lockdown__1_6_1_3_2_2_2_1_1 n33_a_lockdown__1_6_1_3_2_2_2_2_1 VB;_Tnt_ n33_a_lockdown__1_6_1_3_2_2_2_2->n33_a_lockdown__1_6_1_3_2_2_2_2_1 n33_a_lockdown__1_6_1_3_2_2_2_2_2 NP-DOB1 n33_a_lockdown__1_6_1_3_2_2_2_2->n33_a_lockdown__1_6_1_3_2_2_2_2_2 n33_a_lockdown__1_6_1_3_2_2_2_2_3 IP-INF-OB1 n33_a_lockdown__1_6_1_3_2_2_2_2->n33_a_lockdown__1_6_1_3_2_2_2_2_3 n33_a_lockdown__1_6_1_3_2_2_2_2_1->n33_a_lockdown__1_6_1_3_2_2_2_2_1_1 n33_a_lockdown__1_6_1_3_2_2_2_2_2_1 PRO n33_a_lockdown__1_6_1_3_2_2_2_2_2->n33_a_lockdown__1_6_1_3_2_2_2_2_2_1 n33_a_lockdown__1_6_1_3_2_2_2_2_2_1->n33_a_lockdown__1_6_1_3_2_2_2_2_2_1_1 n33_a_lockdown__1_6_1_3_2_2_2_2_3_1 TO n33_a_lockdown__1_6_1_3_2_2_2_2_3->n33_a_lockdown__1_6_1_3_2_2_2_2_3_1 n33_a_lockdown__1_6_1_3_2_2_2_2_3_2 VB;_Tn_ n33_a_lockdown__1_6_1_3_2_2_2_2_3->n33_a_lockdown__1_6_1_3_2_2_2_2_3_2 n33_a_lockdown__1_6_1_3_2_2_2_2_3_3 NP-OB1 n33_a_lockdown__1_6_1_3_2_2_2_2_3->n33_a_lockdown__1_6_1_3_2_2_2_2_3_3 n33_a_lockdown__1_6_1_3_2_2_2_2_3_4 PP-SCON n33_a_lockdown__1_6_1_3_2_2_2_2_3->n33_a_lockdown__1_6_1_3_2_2_2_2_3_4 n33_a_lockdown__1_6_1_3_2_2_2_2_3_1->n33_a_lockdown__1_6_1_3_2_2_2_2_3_1_1 n33_a_lockdown__1_6_1_3_2_2_2_2_3_2->n33_a_lockdown__1_6_1_3_2_2_2_2_3_2_1 n33_a_lockdown__1_6_1_3_2_2_2_2_3_3_1 NP-GEN n33_a_lockdown__1_6_1_3_2_2_2_2_3_3->n33_a_lockdown__1_6_1_3_2_2_2_2_3_3_1 n33_a_lockdown__1_6_1_3_2_2_2_2_3_3_1_1 PRO;_ppge_ n33_a_lockdown__1_6_1_3_2_2_2_2_3_3_1->n33_a_lockdown__1_6_1_3_2_2_2_2_3_3_1_1 n33_a_lockdown__1_6_1_3_2_2_2_2_3_3_1_1->n33_a_lockdown__1_6_1_3_2_2_2_2_3_3_1_1_1 n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_1 P-CONN n33_a_lockdown__1_6_1_3_2_2_2_2_3_4->n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_1 n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2 IP-ADV n33_a_lockdown__1_6_1_3_2_2_2_2_3_4->n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2 n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_1->n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_1_1 n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2_1 NP-SBJ n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2->n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2_1 n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2_2 VBP;_Tt_ n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2->n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2_2 n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2_3 IP-INF-OB1 n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2->n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2_3 n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2_1_1 PRO n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2_1->n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2_1_1 n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2_1_1->n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2_1_1_1 n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2_2->n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2_2_1 n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2_3_1 VB n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2_3->n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2_3_1 n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2_3_1->n33_a_lockdown__1_6_1_3_2_2_2_2_3_4_2_3_1_1 n33_a_lockdown__1_7->n33_a_lockdown__1_7_1 n33_a_lockdown__1_8->n33_a_lockdown__1_8_1 
( (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))