72_a_stuck_japan
When Covid struck, Japan closed its borders.

n72_a_stuck_japan n72_a_stuck_japan__1_1_1_1_1_1 When n72_a_stuck_japan__1_1_1_2_1_1 Covid n72_a_stuck_japan__1_1_1_3_1 struck n72_a_stuck_japan__1_2_1 , n72_a_stuck_japan__1_3_1_1 Japan n72_a_stuck_japan__1_4_1 closed n72_a_stuck_japan__1_5_1_1_1 its n72_a_stuck_japan__1_5_2_1 borders n72_a_stuck_japan__1_6_1 . n72_a_stuck_japan__1 IP-MAT n72_a_stuck_japan__1_1 NP-NIM n72_a_stuck_japan__1->n72_a_stuck_japan__1_1 n72_a_stuck_japan__1_2 PUNC n72_a_stuck_japan__1->n72_a_stuck_japan__1_2 n72_a_stuck_japan__1_3 NP-SBJ n72_a_stuck_japan__1->n72_a_stuck_japan__1_3 n72_a_stuck_japan__1_4 VBD;_Tn_ n72_a_stuck_japan__1->n72_a_stuck_japan__1_4 n72_a_stuck_japan__1_5 NP-OB1 n72_a_stuck_japan__1->n72_a_stuck_japan__1_5 n72_a_stuck_japan__1_6 PUNC n72_a_stuck_japan__1->n72_a_stuck_japan__1_6 n72_a_stuck_japan__1_1_1 IP-REL n72_a_stuck_japan__1_1->n72_a_stuck_japan__1_1_1 n72_a_stuck_japan__1_1_1_1 ADVP-NIM n72_a_stuck_japan__1_1_1->n72_a_stuck_japan__1_1_1_1 n72_a_stuck_japan__1_1_1_2 NP-SBJ n72_a_stuck_japan__1_1_1->n72_a_stuck_japan__1_1_1_2 n72_a_stuck_japan__1_1_1_3 VBD;_I_ n72_a_stuck_japan__1_1_1->n72_a_stuck_japan__1_1_1_3 n72_a_stuck_japan__1_1_1_1_1 RADV n72_a_stuck_japan__1_1_1_1->n72_a_stuck_japan__1_1_1_1_1 n72_a_stuck_japan__1_1_1_1_1->n72_a_stuck_japan__1_1_1_1_1_1 n72_a_stuck_japan__1_1_1_2_1 NPR n72_a_stuck_japan__1_1_1_2->n72_a_stuck_japan__1_1_1_2_1 n72_a_stuck_japan__1_1_1_2_1->n72_a_stuck_japan__1_1_1_2_1_1 n72_a_stuck_japan__1_1_1_3->n72_a_stuck_japan__1_1_1_3_1 n72_a_stuck_japan__1_2->n72_a_stuck_japan__1_2_1 n72_a_stuck_japan__1_3_1 NPR n72_a_stuck_japan__1_3->n72_a_stuck_japan__1_3_1 n72_a_stuck_japan__1_3_1->n72_a_stuck_japan__1_3_1_1 n72_a_stuck_japan__1_4->n72_a_stuck_japan__1_4_1 n72_a_stuck_japan__1_5_1 NP-GEN n72_a_stuck_japan__1_5->n72_a_stuck_japan__1_5_1 n72_a_stuck_japan__1_5_2 NS n72_a_stuck_japan__1_5->n72_a_stuck_japan__1_5_2 n72_a_stuck_japan__1_5_1_1 PRO n72_a_stuck_japan__1_5_1->n72_a_stuck_japan__1_5_1_1 n72_a_stuck_japan__1_5_1_1->n72_a_stuck_japan__1_5_1_1_1 n72_a_stuck_japan__1_5_2->n72_a_stuck_japan__1_5_2_1 n72_a_stuck_japan__1_6->n72_a_stuck_japan__1_6_1
( (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))



%3 r_0072_0008__borders borders r_0072_0005__Japan Japan r_0072_0008__borders->r_0072_0005__Japan [gen] r_0072_0006__closed closed r_0072_0006__closed->r_0072_0008__borders [arg1] r_0072_0006__closed->r_0072_0005__Japan [arg0] r_0072_0001__When When r_0072_0006__closed->r_0072_0001__When [nim] r_0072_0003__struck struck r_0072_0003__struck->r_0072_0001__When [nim] r_0072_0002__Covid Covid r_0072_0003__struck->r_0072_0002__Covid [arg0]
arc(r_0072_0003__struck,r_0072_0001__When,nim).
arc(r_0072_0003__struck,r_0072_0002__Covid,arg0).
arc(r_0072_0006__closed,r_0072_0001__When,nim).
arc(r_0072_0006__closed,r_0072_0005__Japan,arg0).
arc(r_0072_0006__closed,r_0072_0008__borders,arg1).
arc(r_0072_0008__borders,r_0072_0005__Japan,gen).



%3 r_0072_0003__struck struck r_0072_0001__When When r_0072_0003__struck->r_0072_0001__When [nim] r_0072_0002__Covid Covid r_0072_0003__struck->r_0072_0002__Covid [arg0] r_0072_0006__closed closed r_0072_0006__closed->r_0072_0001__When [nim] r_0072_0005__Japan Japan r_0072_0006__closed->r_0072_0005__Japan [arg0] r_0072_0008__borders borders r_0072_0006__closed->r_0072_0008__borders [arg1] r_0072_0008__borders->r_0072_0005__Japan [gen]
fof(formula,axiom,
    ? [R_0072_0001__WHEN,R_0072_0002__COVID,R_0072_0003__STRUCK,R_0072_0005__JAPAN,R_0072_0008__BORDERS,R_0072_0006__CLOSED] :
      ( r_0072_0001__When(R_0072_0001__WHEN)
      & r_0072_0002__Covid(R_0072_0002__COVID)
      & r_0072_0005__Japan(R_0072_0005__JAPAN)
      & r_0072_0006__closed(R_0072_0006__CLOSED)
      & has_arg1(R_0072_0006__CLOSED,R_0072_0008__BORDERS)
      & r_0072_0008__borders(R_0072_0008__BORDERS)
      & has_gen(R_0072_0008__BORDERS,R_0072_0005__JAPAN)
      & has_arg0(R_0072_0006__CLOSED,R_0072_0005__JAPAN)
      & has_nim(R_0072_0006__CLOSED,R_0072_0001__WHEN)
      & r_0072_0003__struck(R_0072_0003__STRUCK)
      & has_arg0(R_0072_0003__STRUCK,R_0072_0002__COVID)
      & has_nim(R_0072_0003__STRUCK,R_0072_0001__WHEN) ) ).