Context                Previous, Next                Top


43_a_stuck_japan
This has been happening all over Japan.

%3 r_0043_0002__has has r_0043_0003__been been r_0043_0002__has->r_0043_0003__been [scope] r_0043_0004__happening happening r_0043_0003__been->r_0043_0004__happening [scope] r_0043_0001__This This r_0043_0004__happening->r_0043_0001__This [arg0] r_0043_0005__all all r_0043_0004__happening->r_0043_0005__all [nim] r_0043_0007__Japan Japan r_0043_0005__all->r_0043_0007__Japan over 
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, nim13).
arc(r_0043_0005__all, r_0043_0007__Japan, r_0043_0006__over).


%3 r_0043_0005__all all r_0043_0007__Japan Japan r_0043_0005__all->r_0043_0007__Japan over r_0043_0002__has_r_0043_0003__been_r_0043_0004__happening has been happening r_0043_0002__has_r_0043_0003__been_r_0043_0004__happening->r_0043_0005__all [nim] r_0043_0001__This This r_0043_0002__has_r_0043_0003__been_r_0043_0004__happening->r_0043_0001__This [arg0] 
fof(formula,axiom,
    ? [R_43_2_HAS_BEEN_HAPPENING,R_43_1_THIS,R_43_5_ALL,R_43_7_JAPAN] :
      ( this(R_43_1_THIS)
      & japan(R_43_7_JAPAN)
      & has_been_happening(R_43_2_HAS_BEEN_HAPPENING,R_43_1_THIS)
      & nim13(R_43_2_HAS_BEEN_HAPPENING,R_43_5_ALL)
      & all(R_43_5_ALL)
      & over(R_43_5_ALL,R_43_7_JAPAN) ) ).


n43_a_stuck_japan n43_a_stuck_japan__1_1_1_1 This n43_a_stuck_japan__1_2_1 has n43_a_stuck_japan__1_3_1_1 been n43_a_stuck_japan__1_3_2_1_1 happening n43_a_stuck_japan__1_3_2_2_1_1 all n43_a_stuck_japan__1_3_2_2_2_1_1 over n43_a_stuck_japan__1_3_2_2_2_2_1_1 Japan n43_a_stuck_japan__1_4_1 . n43_a_stuck_japan__1 IP-MAT n43_a_stuck_japan__1_1 NP-SBJ n43_a_stuck_japan__1->n43_a_stuck_japan__1_1 n43_a_stuck_japan__1_2 HVP;_cat_Ve_ n43_a_stuck_japan__1->n43_a_stuck_japan__1_2 n43_a_stuck_japan__1_3 IP-PPL-CAT n43_a_stuck_japan__1->n43_a_stuck_japan__1_3 n43_a_stuck_japan__1_4 PUNC n43_a_stuck_japan__1->n43_a_stuck_japan__1_4 n43_a_stuck_japan__1_1_1 D n43_a_stuck_japan__1_1->n43_a_stuck_japan__1_1_1 n43_a_stuck_japan__1_1_1->n43_a_stuck_japan__1_1_1_1 n43_a_stuck_japan__1_2->n43_a_stuck_japan__1_2_1 n43_a_stuck_japan__1_3_1 BEN;_cat_Vg_ n43_a_stuck_japan__1_3->n43_a_stuck_japan__1_3_1 n43_a_stuck_japan__1_3_2 IP-PPL-CAT n43_a_stuck_japan__1_3->n43_a_stuck_japan__1_3_2 n43_a_stuck_japan__1_3_1->n43_a_stuck_japan__1_3_1_1 n43_a_stuck_japan__1_3_2_1 VAG;_I_ n43_a_stuck_japan__1_3_2->n43_a_stuck_japan__1_3_2_1 n43_a_stuck_japan__1_3_2_2 ADVP-NIM n43_a_stuck_japan__1_3_2->n43_a_stuck_japan__1_3_2_2 n43_a_stuck_japan__1_3_2_1->n43_a_stuck_japan__1_3_2_1_1 n43_a_stuck_japan__1_3_2_2_1 ADV n43_a_stuck_japan__1_3_2_2->n43_a_stuck_japan__1_3_2_2_1 n43_a_stuck_japan__1_3_2_2_2 PP n43_a_stuck_japan__1_3_2_2->n43_a_stuck_japan__1_3_2_2_2 n43_a_stuck_japan__1_3_2_2_1->n43_a_stuck_japan__1_3_2_2_1_1 n43_a_stuck_japan__1_3_2_2_2_1 P-ROLE n43_a_stuck_japan__1_3_2_2_2->n43_a_stuck_japan__1_3_2_2_2_1 n43_a_stuck_japan__1_3_2_2_2_2 NP n43_a_stuck_japan__1_3_2_2_2->n43_a_stuck_japan__1_3_2_2_2_2 n43_a_stuck_japan__1_3_2_2_2_1->n43_a_stuck_japan__1_3_2_2_2_1_1 n43_a_stuck_japan__1_3_2_2_2_2_1 NPR n43_a_stuck_japan__1_3_2_2_2_2->n43_a_stuck_japan__1_3_2_2_2_2_1 n43_a_stuck_japan__1_3_2_2_2_2_1->n43_a_stuck_japan__1_3_2_2_2_2_1_1 n43_a_stuck_japan__1_4->n43_a_stuck_japan__1_4_1 
( (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))