( (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))

arc(r_0032_0003__takes,r_0032_0002__just,nim).
arc(r_0032_0003__takes,r_0032_0008__and_r_0032_0011__and,arg0).
arc(r_0032_0003__takes,z_0032_5004,arg1).
arc(r_0032_0006__unload,r_0032_0007__everything,arg1).
arc(r_0032_0006__unload,z_0032_5001,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_r_0032_0015__away,conj3).
arc(r_0032_0009__disinfect,r_0032_0007__everything,arg1).
arc(r_0032_0009__disinfect,z_0032_5001,arg0).
arc(r_0032_0012__put_r_0032_0015__away,r_0032_0007__everything,arg1).
arc(r_0032_0012__put_r_0032_0015__away,r_0032_0014__all,nim).
arc(r_0032_0012__put_r_0032_0015__away,z_0032_5001,arg0).
arc(z_0032_5004,r_0032_0004__forever,qual).

fof(formula,axiom,
    ? [R_0032_0002__JUST,R_0032_0007__EVERYTHING,Z_0032_5001,R_0032_0006__UNLOAD,R_0032_0009__DISINFECT,R_0032_0014__ALL,R_0032_0012__PUT_R_0032_0015__AWAY,R_0032_0008__AND_R_0032_0011__AND,R_0032_0004__FOREVER,Z_0032_5004,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)
      & z_0032_5001(Z_0032_5001)
      & r_0032_0003__takes(R_0032_0003__TAKES)
      & has_arg1(R_0032_0003__TAKES,Z_0032_5004)
      & z_0032_5004(Z_0032_5004)
      & has_qual(Z_0032_5004,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_0015__AWAY)
      & r_0032_0012__put_r_0032_0015__away(R_0032_0012__PUT_R_0032_0015__AWAY)
      & has_arg0(R_0032_0012__PUT_R_0032_0015__AWAY,Z_0032_5001)
      & has_nim(R_0032_0012__PUT_R_0032_0015__AWAY,R_0032_0014__ALL)
      & has_arg1(R_0032_0012__PUT_R_0032_0015__AWAY,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_0032_5001)
      & 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_0032_5001)
      & has_arg1(R_0032_0006__UNLOAD,R_0032_0007__EVERYTHING)
      & has_nim(R_0032_0003__TAKES,R_0032_0002__JUST) ) ).