72_a_stuck_japan
When Covid struck, Japan closed its borders.
( (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))
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).
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) ) ).