Context                Previous, Next                Top


72_a_stuck_japan
When Covid struck, Japan closed its borders.

%3 r_0072_0003__struck struck r_0072_0002__Covid Covid r_0072_0003__struck->r_0072_0002__Covid [arg0] z_000_72_a_stuck_japan_2 r_0072_0003__struck->z_000_72_a_stuck_japan_2 [nim] r_0072_0006__closed closed r_0072_0006__closed->z_000_72_a_stuck_japan_2 [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] 
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).


%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] z_000_72_a_stuck_japan_2 r_0072_0006__closed->z_000_72_a_stuck_japan_2 [nim] r_0072_0003__struck struck r_0072_0003__struck->z_000_72_a_stuck_japan_2 [nim] r_0072_0002__Covid Covid r_0072_0003__struck->r_0072_0002__Covid [arg0] 
fof(formula,axiom,
    ? [R_0072_0002__COVID,Z_000_72_A_STUCK_JAPAN_2,R_0072_0003__STRUCK,R_0072_0005__JAPAN,R_0072_0008__BORDERS,R_0072_0006__CLOSED] :
      ( r_0072_0002__Covid(R_0072_0002__COVID)
      & r_0072_0005__Japan(R_0072_0005__JAPAN)
      & z_000_72_a_stuck_japan_2(Z_000_72_A_STUCK_JAPAN_2)
      & r_0072_0006__closed(R_0072_0006__CLOSED)
      & has_nim2(R_0072_0006__CLOSED,Z_000_72_A_STUCK_JAPAN_2)
      & 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)
      & r_0072_0003__struck(R_0072_0003__STRUCK)
      & has_nim4(R_0072_0003__STRUCK,Z_000_72_A_STUCK_JAPAN_2)
      & has_arg0(R_0072_0003__STRUCK,R_0072_0002__COVID) ) ).


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