25_a_stuck_japan
Japan had emerged from the destruction of World War Two and conquered global manufacturing.
arc(r_0025_0002__had, r_0025_0011__and, scope).
arc(r_0025_0003__emerged, r_0025_0001__Japan, arg0).
arc(r_0025_0003__emerged, r_0025_0005__the_r_0025_0006__destruction, r_0025_0004__from_nim15).
arc(r_0025_0005__the_r_0025_0006__destruction, r_0025_0008__World_r_0025_0009__War_r_0025_0010__Two, r_0025_0007__of).
arc(r_0025_0011__and, r_0025_0003__emerged, conj1).
arc(r_0025_0011__and, r_0025_0012__conquered, conj2).
arc(r_0025_0012__conquered, r_0025_0001__Japan, arg0).
arc(r_0025_0012__conquered, r_0025_0014__manufacturing, arg1).
arc(r_0025_0014__manufacturing, r_0025_0013__global, attrib37).
fof(formula,axiom,
~ ? [R_25_11_AND,R_25_3_EMERGED,R_25_5_THE_DESTRUCTION,R_25_8_WORLD_WAR_TWO,R_25_12_CONQUERED,R_25_1_JAPAN,R_25_14_MANUFACTURING,R_25_13_GLOBAL] :
( world_War_Two(R_25_8_WORLD_WAR_TWO)
& japan(R_25_1_JAPAN)
& global(R_25_13_GLOBAL)
& and(R_25_11_AND)
& conj1(R_25_11_AND,R_25_3_EMERGED)
& emerged(R_25_3_EMERGED,R_25_1_JAPAN)
& from_nim15(R_25_3_EMERGED,R_25_5_THE_DESTRUCTION)
& the_destruction(R_25_5_THE_DESTRUCTION)
& of(R_25_5_THE_DESTRUCTION,R_25_8_WORLD_WAR_TWO)
& conj2(R_25_11_AND,R_25_12_CONQUERED)
& conquered(R_25_12_CONQUERED,R_25_1_JAPAN,R_25_14_MANUFACTURING)
& manufacturing(R_25_14_MANUFACTURING)
& attrib37(R_25_14_MANUFACTURING,R_25_13_GLOBAL) ) ).
( (IP-MAT (NP-SBJ (NPR Japan;{Japan}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (ILYR (ILYR (VVN;_I_ emerged;{emerge})
(PP-NIM (P-ROLE from;{from})
(NP (D the;{the})
(N destruction;{destruction})
(PP (P-ROLE of;{of})
(NP (NPR World;{World})
(NPR War;{War})
(NUM Two;{two}))))))
(CONJP (CONJ and;{and})
(ILYR (VVN;_Tn_ conquered;{conquer})
(NP-OB1 (ADJP (ADJ global;{global}))
(N manufacturing;{manufacturing}))))))
(PUNC .))
(ID 25_a_stuck_japan))