Context                Previous, Next                Top


22_a_stuck_japan
In front of the Imperial Palace in Tokyo, the skyline was dominated by the glass towers of the country's corporate titans - Mitsubishi, Mitsui, Hitachi, Sony.

%3 r_0022_0002__front front r_0022_0004__the_r_0022_0005__Imperial_r_0022_0006__Palace the Imperial Palace r_0022_0002__front->r_0022_0004__the_r_0022_0005__Imperial_r_0022_0006__Palace of r_0022_0008__Tokyo Tokyo r_0022_0004__the_r_0022_0005__Imperial_r_0022_0006__Palace->r_0022_0008__Tokyo in r_0022_0012__was was r_0022_0012__was->r_0022_0002__front In [nim] r_0022_0013__dominated dominated r_0022_0012__was->r_0022_0013__dominated [scope] r_0022_0010__the_r_0022_0011__skyline the skyline r_0022_0013__dominated->r_0022_0010__the_r_0022_0011__skyline [arg1] r_0022_0015__the_r_0022_0016__glass_r_0022_0017__towers the glass towers r_0022_0013__dominated->r_0022_0015__the_r_0022_0016__glass_r_0022_0017__towers [arg0] r_0022_0023__titans titans r_0022_0015__the_r_0022_0016__glass_r_0022_0017__towers->r_0022_0023__titans of r_0022_0019__the_r_0022_0020__country_r_0022_0021___apos_s the country 's r_0022_0023__titans->r_0022_0019__the_r_0022_0020__country_r_0022_0021___apos_s [gen] r_0022_0022__corporate corporate r_0022_0023__titans->r_0022_0022__corporate [attrib] z_000_22_a_stuck_japan_64 z_000_22_a_stuck_japan_64->r_0022_0023__titans [arg0] z_000_22_a_stuck_japan_66 z_000_22_a_stuck_japan_64->z_000_22_a_stuck_japan_66 [prd] r_0022_0025__Mitsubishi Mitsubishi z_000_22_a_stuck_japan_66->r_0022_0025__Mitsubishi [conj1] r_0022_0027__Mitsui Mitsui z_000_22_a_stuck_japan_66->r_0022_0027__Mitsui [conj2] r_0022_0029__Hitachi Hitachi z_000_22_a_stuck_japan_66->r_0022_0029__Hitachi [conj3] r_0022_0031__Sony Sony z_000_22_a_stuck_japan_66->r_0022_0031__Sony [conj4] 
arc(r_0022_0002__front, r_0022_0004__the_r_0022_0005__Imperial_r_0022_0006__Palace, r_0022_0003__of).
arc(r_0022_0004__the_r_0022_0005__Imperial_r_0022_0006__Palace, r_0022_0008__Tokyo, r_0022_0007__in).
arc(r_0022_0012__was, r_0022_0002__front, r_0022_0001__In_nim5).
arc(r_0022_0012__was, r_0022_0013__dominated, scope).
arc(r_0022_0013__dominated, r_0022_0010__the_r_0022_0011__skyline, arg1).
arc(r_0022_0013__dominated, r_0022_0015__the_r_0022_0016__glass_r_0022_0017__towers, arg0).
arc(r_0022_0015__the_r_0022_0016__glass_r_0022_0017__towers, r_0022_0023__titans, r_0022_0018__of).
arc(r_0022_0023__titans, r_0022_0019__the_r_0022_0020__country_r_0022_0021___apos_s, gen).
arc(r_0022_0023__titans, r_0022_0022__corporate, attrib57).
arc(z_000_22_a_stuck_japan_64, r_0022_0023__titans, arg0).
arc(z_000_22_a_stuck_japan_64, z_000_22_a_stuck_japan_66, prd).
arc(z_000_22_a_stuck_japan_66, r_0022_0025__Mitsubishi, conj1).
arc(z_000_22_a_stuck_japan_66, r_0022_0027__Mitsui, conj2).
arc(z_000_22_a_stuck_japan_66, r_0022_0029__Hitachi, conj3).
arc(z_000_22_a_stuck_japan_66, r_0022_0031__Sony, conj4).


%3 r_0022_0002__front front r_0022_0004__the_r_0022_0005__Imperial_r_0022_0006__Palace the Imperial Palace r_0022_0002__front->r_0022_0004__the_r_0022_0005__Imperial_r_0022_0006__Palace of r_0022_0008__Tokyo Tokyo r_0022_0004__the_r_0022_0005__Imperial_r_0022_0006__Palace->r_0022_0008__Tokyo in r_0022_0012__was_r_0022_0013__dominated was dominated r_0022_0012__was_r_0022_0013__dominated->r_0022_0002__front In [nim] r_0022_0010__the_r_0022_0011__skyline the skyline r_0022_0012__was_r_0022_0013__dominated->r_0022_0010__the_r_0022_0011__skyline [arg1] r_0022_0015__the_r_0022_0016__glass_r_0022_0017__towers the glass towers r_0022_0012__was_r_0022_0013__dominated->r_0022_0015__the_r_0022_0016__glass_r_0022_0017__towers [arg0] r_0022_0023__titans titans r_0022_0015__the_r_0022_0016__glass_r_0022_0017__towers->r_0022_0023__titans of r_0022_0019__the_r_0022_0020__country_r_0022_0021___apos_s the country 's r_0022_0023__titans->r_0022_0019__the_r_0022_0020__country_r_0022_0021___apos_s [gen] r_0022_0022__corporate corporate r_0022_0023__titans->r_0022_0022__corporate [attrib] z_000_22_a_stuck_japan_64 z_000_22_a_stuck_japan_64->r_0022_0023__titans [arg0] z_000_22_a_stuck_japan_66 z_000_22_a_stuck_japan_64->z_000_22_a_stuck_japan_66 [prd] r_0022_0025__Mitsubishi Mitsubishi z_000_22_a_stuck_japan_66->r_0022_0025__Mitsubishi [conj1] r_0022_0027__Mitsui Mitsui z_000_22_a_stuck_japan_66->r_0022_0027__Mitsui [conj2] r_0022_0029__Hitachi Hitachi z_000_22_a_stuck_japan_66->r_0022_0029__Hitachi [conj3] r_0022_0031__Sony Sony z_000_22_a_stuck_japan_66->r_0022_0031__Sony [conj4] 
fof(formula,axiom,
    ? [R_22_12_WAS_DOMINATED,R_22_15_THE_GLASS_TOWERS,R_22_10_THE_SKYLINE,R_22_2_FRONT,R_22_4_THE_IMPERIAL_PALACE,R_22_8_TOKYO,Z_22_A_STUCK_JAPAN_64,R_22_23_TITANS,R_22_22_CORPORATE,R_22_19_THE_COUNTRY_APOS_S,Z_22_A_STUCK_JAPAN_66,R_22_25_MITSUBISHI,R_22_27_MITSUI,R_22_29_HITACHI,R_22_31_SONY] :
      ( the_skyline(R_22_10_THE_SKYLINE)
      & tokyo(R_22_8_TOKYO)
      & corporate(R_22_22_CORPORATE)
      & the_country_apos_s(R_22_19_THE_COUNTRY_APOS_S)
      & mitsubishi(R_22_25_MITSUBISHI)
      & mitsui(R_22_27_MITSUI)
      & hitachi(R_22_29_HITACHI)
      & sony(R_22_31_SONY)
      & was_dominated(R_22_12_WAS_DOMINATED,R_22_15_THE_GLASS_TOWERS,R_22_10_THE_SKYLINE)
      & the_glass_towers(R_22_15_THE_GLASS_TOWERS)
      & of(R_22_15_THE_GLASS_TOWERS,R_22_23_TITANS)
      & titans(R_22_23_TITANS)
      & attrib57(R_22_23_TITANS,R_22_22_CORPORATE)
      & gen(R_22_23_TITANS,R_22_19_THE_COUNTRY_APOS_S)
      & in_nim5(R_22_12_WAS_DOMINATED,R_22_2_FRONT)
      & front(R_22_2_FRONT)
      & of(R_22_2_FRONT,R_22_4_THE_IMPERIAL_PALACE)
      & the_Imperial_Palace(R_22_4_THE_IMPERIAL_PALACE)
      & in(R_22_4_THE_IMPERIAL_PALACE,R_22_8_TOKYO)
      & z_22_a_stuck_japan_64(Z_22_A_STUCK_JAPAN_64,R_22_23_TITANS,Z_22_A_STUCK_JAPAN_66)
      & z_22_a_stuck_japan_66(Z_22_A_STUCK_JAPAN_66)
      & conj1(Z_22_A_STUCK_JAPAN_66,R_22_25_MITSUBISHI)
      & conj2(Z_22_A_STUCK_JAPAN_66,R_22_27_MITSUI)
      & conj3(Z_22_A_STUCK_JAPAN_66,R_22_29_HITACHI)
      & conj4(Z_22_A_STUCK_JAPAN_66,R_22_31_SONY) ) ).


n22_a_stuck_japan n22_a_stuck_japan_4 In n22_a_stuck_japan_7 front n22_a_stuck_japan_10 of n22_a_stuck_japan_13 the n22_a_stuck_japan_15 Imperial n22_a_stuck_japan_17 Palace n22_a_stuck_japan_20 in n22_a_stuck_japan_23 Tokyo n22_a_stuck_japan_25 , n22_a_stuck_japan_28 the n22_a_stuck_japan_30 skyline n22_a_stuck_japan_32 was n22_a_stuck_japan_35 dominated n22_a_stuck_japan_38 by n22_a_stuck_japan_41 the n22_a_stuck_japan_43 glass n22_a_stuck_japan_45 towers n22_a_stuck_japan_48 of n22_a_stuck_japan_52 the n22_a_stuck_japan_54 country n22_a_stuck_japan_56 's n22_a_stuck_japan_59 corporate n22_a_stuck_japan_61 titans n22_a_stuck_japan_63 - n22_a_stuck_japan_69 Mitsubishi n22_a_stuck_japan_71 , n22_a_stuck_japan_75 Mitsui n22_a_stuck_japan_77 , n22_a_stuck_japan_81 Hitachi n22_a_stuck_japan_83 , n22_a_stuck_japan_87 Sony n22_a_stuck_japan_89 . n22_a_stuck_japan_1 IP-MAT n22_a_stuck_japan_2 PP-NIM n22_a_stuck_japan_1->n22_a_stuck_japan_2 n22_a_stuck_japan_24 PUNC n22_a_stuck_japan_1->n22_a_stuck_japan_24 n22_a_stuck_japan_26 NP-SBJ n22_a_stuck_japan_1->n22_a_stuck_japan_26 n22_a_stuck_japan_31 BED;_cat_VePASS_ n22_a_stuck_japan_1->n22_a_stuck_japan_31 n22_a_stuck_japan_33 IP-PPL-CAT n22_a_stuck_japan_1->n22_a_stuck_japan_33 n22_a_stuck_japan_88 PUNC n22_a_stuck_japan_1->n22_a_stuck_japan_88 n22_a_stuck_japan_3 P-ROLE n22_a_stuck_japan_2->n22_a_stuck_japan_3 n22_a_stuck_japan_5 NP n22_a_stuck_japan_2->n22_a_stuck_japan_5 n22_a_stuck_japan_3->n22_a_stuck_japan_4 n22_a_stuck_japan_6 N n22_a_stuck_japan_5->n22_a_stuck_japan_6 n22_a_stuck_japan_8 PP n22_a_stuck_japan_5->n22_a_stuck_japan_8 n22_a_stuck_japan_6->n22_a_stuck_japan_7 n22_a_stuck_japan_9 P-ROLE n22_a_stuck_japan_8->n22_a_stuck_japan_9 n22_a_stuck_japan_11 NP n22_a_stuck_japan_8->n22_a_stuck_japan_11 n22_a_stuck_japan_9->n22_a_stuck_japan_10 n22_a_stuck_japan_12 D n22_a_stuck_japan_11->n22_a_stuck_japan_12 n22_a_stuck_japan_14 NPR n22_a_stuck_japan_11->n22_a_stuck_japan_14 n22_a_stuck_japan_16 NPR n22_a_stuck_japan_11->n22_a_stuck_japan_16 n22_a_stuck_japan_18 PP n22_a_stuck_japan_11->n22_a_stuck_japan_18 n22_a_stuck_japan_12->n22_a_stuck_japan_13 n22_a_stuck_japan_14->n22_a_stuck_japan_15 n22_a_stuck_japan_16->n22_a_stuck_japan_17 n22_a_stuck_japan_19 P-ROLE n22_a_stuck_japan_18->n22_a_stuck_japan_19 n22_a_stuck_japan_21 NP n22_a_stuck_japan_18->n22_a_stuck_japan_21 n22_a_stuck_japan_19->n22_a_stuck_japan_20 n22_a_stuck_japan_22 NPR n22_a_stuck_japan_21->n22_a_stuck_japan_22 n22_a_stuck_japan_22->n22_a_stuck_japan_23 n22_a_stuck_japan_24->n22_a_stuck_japan_25 n22_a_stuck_japan_27 D n22_a_stuck_japan_26->n22_a_stuck_japan_27 n22_a_stuck_japan_29 N n22_a_stuck_japan_26->n22_a_stuck_japan_29 n22_a_stuck_japan_27->n22_a_stuck_japan_28 n22_a_stuck_japan_29->n22_a_stuck_japan_30 n22_a_stuck_japan_31->n22_a_stuck_japan_32 n22_a_stuck_japan_34 VVN;_Tn_ n22_a_stuck_japan_33->n22_a_stuck_japan_34 n22_a_stuck_japan_36 PP-LGS n22_a_stuck_japan_33->n22_a_stuck_japan_36 n22_a_stuck_japan_34->n22_a_stuck_japan_35 n22_a_stuck_japan_37 P-ROLE;_lgs_ n22_a_stuck_japan_36->n22_a_stuck_japan_37 n22_a_stuck_japan_39 NP n22_a_stuck_japan_36->n22_a_stuck_japan_39 n22_a_stuck_japan_37->n22_a_stuck_japan_38 n22_a_stuck_japan_40 D n22_a_stuck_japan_39->n22_a_stuck_japan_40 n22_a_stuck_japan_42 N n22_a_stuck_japan_39->n22_a_stuck_japan_42 n22_a_stuck_japan_44 NS n22_a_stuck_japan_39->n22_a_stuck_japan_44 n22_a_stuck_japan_46 PP n22_a_stuck_japan_39->n22_a_stuck_japan_46 n22_a_stuck_japan_40->n22_a_stuck_japan_41 n22_a_stuck_japan_42->n22_a_stuck_japan_43 n22_a_stuck_japan_44->n22_a_stuck_japan_45 n22_a_stuck_japan_47 P-ROLE n22_a_stuck_japan_46->n22_a_stuck_japan_47 n22_a_stuck_japan_49 NP n22_a_stuck_japan_46->n22_a_stuck_japan_49 n22_a_stuck_japan_47->n22_a_stuck_japan_48 n22_a_stuck_japan_50 NP-GEN n22_a_stuck_japan_49->n22_a_stuck_japan_50 n22_a_stuck_japan_57 ADJP n22_a_stuck_japan_49->n22_a_stuck_japan_57 n22_a_stuck_japan_60 NS n22_a_stuck_japan_49->n22_a_stuck_japan_60 n22_a_stuck_japan_62 PUNC n22_a_stuck_japan_49->n22_a_stuck_japan_62 n22_a_stuck_japan_64 IP-PPL n22_a_stuck_japan_49->n22_a_stuck_japan_64 n22_a_stuck_japan_51 D n22_a_stuck_japan_50->n22_a_stuck_japan_51 n22_a_stuck_japan_53 N n22_a_stuck_japan_50->n22_a_stuck_japan_53 n22_a_stuck_japan_55 GENM n22_a_stuck_japan_50->n22_a_stuck_japan_55 n22_a_stuck_japan_51->n22_a_stuck_japan_52 n22_a_stuck_japan_53->n22_a_stuck_japan_54 n22_a_stuck_japan_55->n22_a_stuck_japan_56 n22_a_stuck_japan_58 ADJ n22_a_stuck_japan_57->n22_a_stuck_japan_58 n22_a_stuck_japan_58->n22_a_stuck_japan_59 n22_a_stuck_japan_60->n22_a_stuck_japan_61 n22_a_stuck_japan_62->n22_a_stuck_japan_63 n22_a_stuck_japan_65 NP-PRD n22_a_stuck_japan_64->n22_a_stuck_japan_65 n22_a_stuck_japan_66 NLYR n22_a_stuck_japan_65->n22_a_stuck_japan_66 n22_a_stuck_japan_67 NLYR n22_a_stuck_japan_66->n22_a_stuck_japan_67 n22_a_stuck_japan_70 PUNC n22_a_stuck_japan_66->n22_a_stuck_japan_70 n22_a_stuck_japan_72 CONJP n22_a_stuck_japan_66->n22_a_stuck_japan_72 n22_a_stuck_japan_76 PUNC n22_a_stuck_japan_66->n22_a_stuck_japan_76 n22_a_stuck_japan_78 CONJP n22_a_stuck_japan_66->n22_a_stuck_japan_78 n22_a_stuck_japan_82 PUNC n22_a_stuck_japan_66->n22_a_stuck_japan_82 n22_a_stuck_japan_84 CONJP n22_a_stuck_japan_66->n22_a_stuck_japan_84 n22_a_stuck_japan_68 NPR n22_a_stuck_japan_67->n22_a_stuck_japan_68 n22_a_stuck_japan_68->n22_a_stuck_japan_69 n22_a_stuck_japan_70->n22_a_stuck_japan_71 n22_a_stuck_japan_73 NLYR n22_a_stuck_japan_72->n22_a_stuck_japan_73 n22_a_stuck_japan_74 NPR n22_a_stuck_japan_73->n22_a_stuck_japan_74 n22_a_stuck_japan_74->n22_a_stuck_japan_75 n22_a_stuck_japan_76->n22_a_stuck_japan_77 n22_a_stuck_japan_79 NLYR n22_a_stuck_japan_78->n22_a_stuck_japan_79 n22_a_stuck_japan_80 NPR n22_a_stuck_japan_79->n22_a_stuck_japan_80 n22_a_stuck_japan_80->n22_a_stuck_japan_81 n22_a_stuck_japan_82->n22_a_stuck_japan_83 n22_a_stuck_japan_85 NLYR n22_a_stuck_japan_84->n22_a_stuck_japan_85 n22_a_stuck_japan_86 NPR n22_a_stuck_japan_85->n22_a_stuck_japan_86 n22_a_stuck_japan_86->n22_a_stuck_japan_87 n22_a_stuck_japan_88->n22_a_stuck_japan_89 
( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (N front;{front})
                      (PP (P-ROLE of;{of})
                          (NP (D the;{the})
                              (NPR Imperial;{Imperial})
                              (NPR Palace;{Palace})
                              (PP (P-ROLE in;{in})
                                  (NP (NPR Tokyo;{Tokyo})))))))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (N skyline;{skyline}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (VVN;_Tn_ dominated;{dominate})
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (D the;{the})
                                  (N glass;{glass})
                                  (NS towers;{tower})
                                  (PP (P-ROLE of;{of})
                                      (NP (NP-GEN (D the;{the})
                                                  (N country;{country})
                                                  (GENM <apos>s))
                                          (ADJP (ADJ corporate;{corporate}))
                                          (NS titans;{titan})
                                          (PUNC <hyphen>)
                                          (IP-PPL (NP-PRD (NLYR (NLYR (NPR Mitsubishi;{Mitsubishi}))
                                                                (PUNC ,)
                                                                (CONJP (NLYR (NPR Mitsui;{Mitsui})))
                                                                (PUNC ,)
                                                                (CONJP (NLYR (NPR Hitachi;{Hitachi})))
                                                                (PUNC ,)
                                                                (CONJP (NLYR (NPR Sony;{Sony})))))))))))
          (PUNC .))
  (ID 22_a_stuck_japan))