arc(r_0032_0003__takes, r_0032_0002__just, nim5).
arc(r_0032_0003__takes, r_0032_0008__and_r_0032_0011__and, arg0).
arc(r_0032_0003__takes, z_000_32_a_lockdown_10, arg1).
arc(r_0032_0006__unload, r_0032_0007__everything, arg1).
arc(r_0032_0006__unload, z_000_32_a_lockdown_2, arg0).
arc(r_0032_0008__and_r_0032_0011__and, r_0032_0006__unload, conj1).
arc(r_0032_0008__and_r_0032_0011__and, r_0032_0009__disinfect, conj2).
arc(r_0032_0008__and_r_0032_0011__and, r_0032_0012__put, conj3).
arc(r_0032_0009__disinfect, r_0032_0007__everything, arg1).
arc(r_0032_0009__disinfect, z_000_32_a_lockdown_2, arg0).
arc(r_0032_0012__put, r_0032_0007__everything, arg1).
arc(r_0032_0012__put, r_0032_0014__all, nim42).
arc(r_0032_0012__put, r_0032_0015__away, clr45).
arc(r_0032_0012__put, z_000_32_a_lockdown_2, arg0).
arc(z_000_32_a_lockdown_10, r_0032_0004__forever, qual11).

fof(formula,axiom,
    ? [R_32_3_TAKES,R_32_8_AND_AND,R_32_6_UNLOAD,R_32_9_DISINFECT,R_32_12_PUT,Z_32_A_LOCKDOWN_2,R_32_7_EVERYTHING,R_32_15_AWAY,R_32_14_ALL,Z_32_A_LOCKDOWN_10,R_32_4_FOREVER,R_32_2_JUST] :
      ( everything(R_32_7_EVERYTHING)
      & away(R_32_15_AWAY)
      & all(R_32_14_ALL)
      & forever(R_32_4_FOREVER)
      & just(R_32_2_JUST)
      & takes(R_32_3_TAKES,R_32_8_AND_AND,Z_32_A_LOCKDOWN_10)
      & and_and(R_32_8_AND_AND)
      & conj1(R_32_8_AND_AND,R_32_6_UNLOAD)
      & unload(R_32_6_UNLOAD,Z_32_A_LOCKDOWN_2,R_32_7_EVERYTHING)
      & conj2(R_32_8_AND_AND,R_32_9_DISINFECT)
      & disinfect(R_32_9_DISINFECT,Z_32_A_LOCKDOWN_2,R_32_7_EVERYTHING)
      & conj3(R_32_8_AND_AND,R_32_12_PUT)
      & put(R_32_12_PUT,Z_32_A_LOCKDOWN_2,R_32_7_EVERYTHING)
      & clr45(R_32_12_PUT,R_32_15_AWAY)
      & nim42(R_32_12_PUT,R_32_14_ALL)
      & z_32_a_lockdown_10(Z_32_A_LOCKDOWN_10)
      & qual11(Z_32_A_LOCKDOWN_10,R_32_4_FOREVER)
      & nim5(R_32_3_TAKES,R_32_2_JUST) ) ).

( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (ADVP-NIM (ADV just;{just}))
          (VBP;_Tn_ takes;{take})
          (NP-OB1 (ADVP (ADV forever;{forever})))
          (IP-INF-NSBJ (TO to;{to})
                       (ILYR (ILYR (VB;_Tn_ unload;{unload})
                                   (NP-OB1;{GROCERIES} (N everything;{everything})))
                             (CONJP (CONJ and;{and})
                                    (ILYR (VB;_Tn_ disinfect;{disinfect})
                                          (NP-OB1;{GROCERIES} (PRO it;{it}))))
                             (CONJP (CONJ and;{and})
                                    (ILYR (VB;_Tn.p_ put;{put[away]})
                                          (NP-OB1;{GROCERIES} (PRO it;{it}))
                                          (ADVP-NIM (ADV all;{all}))
                                          (ADVP-CLR (RP away;{away}))))))
          (PUNC .))
  (ID 32_a_lockdown;speaker=b))