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_0032_0002__JUST,R_0032_0007__EVERYTHING,Z_000_32_A_LOCKDOWN_2,R_0032_0006__UNLOAD,R_0032_0009__DISINFECT,R_0032_0014__ALL,R_0032_0015__AWAY,R_0032_0012__PUT,R_0032_0008__AND_R_0032_0011__AND,R_0032_0004__FOREVER,Z_000_32_A_LOCKDOWN_10,R_0032_0003__TAKES] :
      ( r_0032_0002__just(R_0032_0002__JUST)
      & r_0032_0004__forever(R_0032_0004__FOREVER)
      & r_0032_0007__everything(R_0032_0007__EVERYTHING)
      & r_0032_0014__all(R_0032_0014__ALL)
      & r_0032_0015__away(R_0032_0015__AWAY)
      & z_000_32_a_lockdown_2(Z_000_32_A_LOCKDOWN_2)
      & r_0032_0003__takes(R_0032_0003__TAKES)
      & has_arg1(R_0032_0003__TAKES,Z_000_32_A_LOCKDOWN_10)
      & z_000_32_a_lockdown_10(Z_000_32_A_LOCKDOWN_10)
      & has_qual11(Z_000_32_A_LOCKDOWN_10,R_0032_0004__FOREVER)
      & has_arg0(R_0032_0003__TAKES,R_0032_0008__AND_R_0032_0011__AND)
      & r_0032_0008__and_r_0032_0011__and(R_0032_0008__AND_R_0032_0011__AND)
      & has_conj3(R_0032_0008__AND_R_0032_0011__AND,R_0032_0012__PUT)
      & r_0032_0012__put(R_0032_0012__PUT)
      & has_arg0(R_0032_0012__PUT,Z_000_32_A_LOCKDOWN_2)
      & has_clr45(R_0032_0012__PUT,R_0032_0015__AWAY)
      & has_nim42(R_0032_0012__PUT,R_0032_0014__ALL)
      & has_arg1(R_0032_0012__PUT,R_0032_0007__EVERYTHING)
      & has_conj2(R_0032_0008__AND_R_0032_0011__AND,R_0032_0009__DISINFECT)
      & r_0032_0009__disinfect(R_0032_0009__DISINFECT)
      & has_arg0(R_0032_0009__DISINFECT,Z_000_32_A_LOCKDOWN_2)
      & has_arg1(R_0032_0009__DISINFECT,R_0032_0007__EVERYTHING)
      & has_conj1(R_0032_0008__AND_R_0032_0011__AND,R_0032_0006__UNLOAD)
      & r_0032_0006__unload(R_0032_0006__UNLOAD)
      & has_arg0(R_0032_0006__UNLOAD,Z_000_32_A_LOCKDOWN_2)
      & has_arg1(R_0032_0006__UNLOAD,R_0032_0007__EVERYTHING)
      & has_nim5(R_0032_0003__TAKES,R_0032_0002__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))