TSPC 25_a_stuck

25_a_stuck_japan
Japan had emerged from the destruction of World War Two and conquered global manufacturing.

( (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))

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__nim).
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,attrib).

fof(formula,axiom,
    ? [R_0025_0001__JAPAN,R_0025_0008__WORLD_R_0025_0009__WAR_R_0025_0010__TWO,R_0025_0005__THE_R_0025_0006__DESTRUCTION,R_0025_0003__EMERGED,R_0025_0013__GLOBAL,R_0025_0014__MANUFACTURING,R_0025_0012__CONQUERED,R_0025_0011__AND,R_0025_0002__HAD] :
      ( r_0025_0001__Japan(R_0025_0001__JAPAN)
      & r_0025_0008__World_r_0025_0009__War_r_0025_0010__Two(R_0025_0008__WORLD_R_0025_0009__WAR_R_0025_0010__TWO)
      & r_0025_0013__global(R_0025_0013__GLOBAL)
      & r_0025_0002__had(R_0025_0002__HAD)
      & has_keep_scope(R_0025_0002__HAD,R_0025_0011__AND)
      & r_0025_0011__and(R_0025_0011__AND)
      & has_conj2(R_0025_0011__AND,R_0025_0012__CONQUERED)
      & r_0025_0012__conquered(R_0025_0012__CONQUERED)
      & has_arg1(R_0025_0012__CONQUERED,R_0025_0014__MANUFACTURING)
      & r_0025_0014__manufacturing(R_0025_0014__MANUFACTURING)
      & has_attrib(R_0025_0014__MANUFACTURING,R_0025_0013__GLOBAL)
      & has_arg0(R_0025_0012__CONQUERED,R_0025_0001__JAPAN)
      & has_conj1(R_0025_0011__AND,R_0025_0003__EMERGED)
      & r_0025_0003__emerged(R_0025_0003__EMERGED)
      & has_r_0025_0004__from__nim(R_0025_0003__EMERGED,R_0025_0005__THE_R_0025_0006__DESTRUCTION)
      & r_0025_0005__the_r_0025_0006__destruction(R_0025_0005__THE_R_0025_0006__DESTRUCTION)
      & has_r_0025_0007__of(R_0025_0005__THE_R_0025_0006__DESTRUCTION,R_0025_0008__WORLD_R_0025_0009__WAR_R_0025_0010__TWO)
      & has_arg0(R_0025_0003__EMERGED,R_0025_0001__JAPAN) ) ).