arc(r_0072_0003__struck, r_0072_0002__Covid, arg0).
arc(r_0072_0003__struck, z_000_72_a_stuck_japan_2, nim4).
arc(r_0072_0006__closed, r_0072_0005__Japan, arg0).
arc(r_0072_0006__closed, r_0072_0008__borders, arg1).
arc(r_0072_0006__closed, z_000_72_a_stuck_japan_2, nim2).
arc(r_0072_0008__borders, r_0072_0005__Japan, gen).

fof(formula,axiom,
    ? [R_72_3_STRUCK,R_72_2_COVID,R_72_6_CLOSED,R_72_8_BORDERS,R_72_5_JAPAN,Z_72_A_STUCK_JAPAN_2] :
      ( covid(R_72_2_COVID)
      & japan(R_72_5_JAPAN)
      & struck(R_72_3_STRUCK,R_72_2_COVID)
      & nim4(R_72_3_STRUCK,Z_72_A_STUCK_JAPAN_2)
      & closed(R_72_6_CLOSED,R_72_5_JAPAN,R_72_8_BORDERS)
      & borders(R_72_8_BORDERS)
      & gen(R_72_8_BORDERS,R_72_5_JAPAN)
      & nim2(R_72_6_CLOSED,Z_72_A_STUCK_JAPAN_2) ) ).

( (IP-MAT (NP-NIM (IP-REL (ADVP-NIM (RADV When;{when}))
                          (NP-SBJ (NPR Covid;{Covid}))
                          (VBD;_I_ struck;{strike})))
          (PUNC ,)
          (NP-SBJ;{JAPAN} (NPR Japan;{Japan}))
          (VBD;_Tn_ closed;{close})
          (NP-OB1 (NP-GEN;{JAPAN} (PRO its;{its}))
                  (NS borders;{border}))
          (PUNC .))
  (ID 72_a_stuck_japan))