( (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})))))))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 33_a_lockdown;speaker=b))

arc(r_0033_0004__think,r_0033_0001__So,nim).
arc(r_0033_0004__think,r_0033_0002__I,arg0).
arc(r_0033_0004__think,r_0033_0003__just,nim).
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_0033_5008,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_0016__disinfect,r_0033_0014__her,arg0).
arc(r_0033_0016__disinfect,z_0033_5013,arg1).
arc(r_0033_0018__if,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(z_0033_5008,r_0033_0002__I,gen).
arc(z_0033_5013,r_0033_0014__her,gen).

fof(formula,axiom,
    ? [R_0033_0001__SO,R_0033_0002__I,R_0033_0003__JUST,Z_0033_5008,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_0014__her(R_0033_0014__HER)
            & r_0033_0020__wants(R_0033_0020__WANTS)
            & has_arg0(R_0033_0020__WANTS,R_0033_0014__HER) )
         => ? [Z_0033_5013,R_0033_0016__DISINFECT] :
              ( r_0033_0016__disinfect(R_0033_0016__DISINFECT)
              & has_arg1(R_0033_0016__DISINFECT,Z_0033_5013)
              & z_0033_5013(Z_0033_5013)
              & has_gen(Z_0033_5013,R_0033_0014__HER)
              & has_arg0(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_0033_5008)
      & z_0033_5008(Z_0033_5008)
      & has_gen(Z_0033_5008,R_0033_0002__I)
      & has_arg0(R_0033_0010__DO,R_0033_0002__I)
      & has_nim(R_0033_0004__THINK,R_0033_0003__JUST)
      & has_arg0(R_0033_0004__THINK,R_0033_0002__I)
      & has_nim(R_0033_0004__THINK,R_0033_0001__SO) ) ).