43_a_stuck_japan
This has been happening all over Japan.
( (IP-MAT (NP-SBJ (D This;{this}))
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (BEN;_cat_Vg_ been;{be})
(IP-PPL-CAT (VAG;_I_ happening;{happen})
(ADVP-NIM (ADV all;{all})
(PP (P-ROLE over;{over})
(NP (NPR Japan;{Japan}))))))
(PUNC .))
(ID 43_a_stuck_japan))
arc(r_0043_0002__has,r_0043_0003__been,scope).
arc(r_0043_0003__been,r_0043_0004__happening,scope).
arc(r_0043_0004__happening,r_0043_0001__This,arg0).
arc(r_0043_0004__happening,r_0043_0005__all,nim).
arc(r_0043_0005__all,r_0043_0007__Japan,r_0043_0006__over).
fof(formula,axiom,
? [R_0043_0001__THIS,R_0043_0007__JAPAN,R_0043_0005__ALL,R_0043_0002__HAS_R_0043_0003__BEEN_R_0043_0004__HAPPENING] :
( r_0043_0001__This(R_0043_0001__THIS)
& r_0043_0007__Japan(R_0043_0007__JAPAN)
& r_0043_0002__has_r_0043_0003__been_r_0043_0004__happening(R_0043_0002__HAS_R_0043_0003__BEEN_R_0043_0004__HAPPENING)
& has_nim(R_0043_0002__HAS_R_0043_0003__BEEN_R_0043_0004__HAPPENING,R_0043_0005__ALL)
& r_0043_0005__all(R_0043_0005__ALL)
& has_r_0043_0006__over(R_0043_0005__ALL,R_0043_0007__JAPAN)
& has_arg0(R_0043_0002__HAS_R_0043_0003__BEEN_R_0043_0004__HAPPENING,R_0043_0001__THIS) ) ).