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_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] 
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) ) ).


n72_a_stuck_japan n72_a_stuck_japan_6 When n72_a_stuck_japan_9 Covid n72_a_stuck_japan_11 struck n72_a_stuck_japan_13 , n72_a_stuck_japan_16 Japan n72_a_stuck_japan_18 closed n72_a_stuck_japan_22 its n72_a_stuck_japan_24 borders n72_a_stuck_japan_26 . n72_a_stuck_japan_1 IP-MAT n72_a_stuck_japan_2 NP-NIM n72_a_stuck_japan_1->n72_a_stuck_japan_2 n72_a_stuck_japan_12 PUNC n72_a_stuck_japan_1->n72_a_stuck_japan_12 n72_a_stuck_japan_14 NP-SBJ n72_a_stuck_japan_1->n72_a_stuck_japan_14 n72_a_stuck_japan_17 VBD;_Tn_ n72_a_stuck_japan_1->n72_a_stuck_japan_17 n72_a_stuck_japan_19 NP-OB1 n72_a_stuck_japan_1->n72_a_stuck_japan_19 n72_a_stuck_japan_25 PUNC n72_a_stuck_japan_1->n72_a_stuck_japan_25 n72_a_stuck_japan_3 IP-REL n72_a_stuck_japan_2->n72_a_stuck_japan_3 n72_a_stuck_japan_4 ADVP-NIM n72_a_stuck_japan_3->n72_a_stuck_japan_4 n72_a_stuck_japan_7 NP-SBJ n72_a_stuck_japan_3->n72_a_stuck_japan_7 n72_a_stuck_japan_10 VBD;_I_ n72_a_stuck_japan_3->n72_a_stuck_japan_10 n72_a_stuck_japan_5 RADV n72_a_stuck_japan_4->n72_a_stuck_japan_5 n72_a_stuck_japan_5->n72_a_stuck_japan_6 n72_a_stuck_japan_8 NPR n72_a_stuck_japan_7->n72_a_stuck_japan_8 n72_a_stuck_japan_8->n72_a_stuck_japan_9 n72_a_stuck_japan_10->n72_a_stuck_japan_11 n72_a_stuck_japan_12->n72_a_stuck_japan_13 n72_a_stuck_japan_15 NPR n72_a_stuck_japan_14->n72_a_stuck_japan_15 n72_a_stuck_japan_15->n72_a_stuck_japan_16 n72_a_stuck_japan_17->n72_a_stuck_japan_18 n72_a_stuck_japan_20 NP-GEN n72_a_stuck_japan_19->n72_a_stuck_japan_20 n72_a_stuck_japan_23 NS n72_a_stuck_japan_19->n72_a_stuck_japan_23 n72_a_stuck_japan_21 PRO n72_a_stuck_japan_20->n72_a_stuck_japan_21 n72_a_stuck_japan_21->n72_a_stuck_japan_22 n72_a_stuck_japan_23->n72_a_stuck_japan_24 n72_a_stuck_japan_25->n72_a_stuck_japan_26 
( (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))