TSPC 70_a_stuck

70_a_stuck_japan
It is often described as a country that has successfully become modern without abandoning the ancient.

arc(r_0070_0002__is, r_0070_0003__often, nim7).
arc(r_0070_0002__is, r_0070_0004__described, scope).
arc(r_0070_0004__described, r_0070_0001__It, arg1).
arc(r_0070_0004__described, r_0070_0006__a_r_0070_0007__country, prd).
arc(r_0070_0004__described, z_000_70_a_stuck_japan_11, arg0).
arc(r_0070_0008__that_r_0070_0009__has, r_0070_0010__successfully, nim30).
arc(r_0070_0008__that_r_0070_0009__has, r_0070_0011__become, scope).
arc(r_0070_0011__become, r_0070_0006__a_r_0070_0007__country, arg0).
arc(r_0070_0011__become, r_0070_0012__modern, prd).
arc(r_0070_0011__become, r_0070_0014__abandoning, r_0070_0013__without_nim42).
arc(r_0070_0014__abandoning, r_0070_0015__the, arg1).
arc(r_0070_0014__abandoning, z_000_70_a_stuck_japan_42, arg0).
arc(r_0070_0015__the, r_0070_0016__ancient, attrib48).

fof(formula,axiom,
    ? [R_0070_0003__OFTEN,R_0070_0001__IT,R_0070_0006__A_R_0070_0007__COUNTRY,Z_000_70_A_STUCK_JAPAN_11,R_0070_0002__IS_R_0070_0004__DESCRIBED,R_0070_0010__SUCCESSFULLY,R_0070_0012__MODERN,R_0070_0016__ANCIENT,R_0070_0015__THE,Z_000_70_A_STUCK_JAPAN_42,R_0070_0014__ABANDONING,R_0070_0008__THAT_R_0070_0009__HAS_R_0070_0011__BECOME] :
      ( r_0070_0001__It(R_0070_0001__IT)
      & r_0070_0003__often(R_0070_0003__OFTEN)
      & r_0070_0006__a_r_0070_0007__country(R_0070_0006__A_R_0070_0007__COUNTRY)
      & r_0070_0010__successfully(R_0070_0010__SUCCESSFULLY)
      & r_0070_0012__modern(R_0070_0012__MODERN)
      & r_0070_0016__ancient(R_0070_0016__ANCIENT)
      & z_000_70_a_stuck_japan_11(Z_000_70_A_STUCK_JAPAN_11)
      & z_000_70_a_stuck_japan_42(Z_000_70_A_STUCK_JAPAN_42)
      & r_0070_0008__that_r_0070_0009__has_r_0070_0011__become(R_0070_0008__THAT_R_0070_0009__HAS_R_0070_0011__BECOME)
      & has_r_0070_0013__without_nim42(R_0070_0008__THAT_R_0070_0009__HAS_R_0070_0011__BECOME,R_0070_0014__ABANDONING)
      & r_0070_0014__abandoning(R_0070_0014__ABANDONING)
      & has_arg0(R_0070_0014__ABANDONING,Z_000_70_A_STUCK_JAPAN_42)
      & has_arg1(R_0070_0014__ABANDONING,R_0070_0015__THE)
      & r_0070_0015__the(R_0070_0015__THE)
      & has_attrib48(R_0070_0015__THE,R_0070_0016__ANCIENT)
      & has_prd(R_0070_0008__THAT_R_0070_0009__HAS_R_0070_0011__BECOME,R_0070_0012__MODERN)
      & has_arg0(R_0070_0008__THAT_R_0070_0009__HAS_R_0070_0011__BECOME,R_0070_0006__A_R_0070_0007__COUNTRY)
      & has_nim30(R_0070_0008__THAT_R_0070_0009__HAS_R_0070_0011__BECOME,R_0070_0010__SUCCESSFULLY)
      & r_0070_0002__is_r_0070_0004__described(R_0070_0002__IS_R_0070_0004__DESCRIBED)
      & has_arg0(R_0070_0002__IS_R_0070_0004__DESCRIBED,Z_000_70_A_STUCK_JAPAN_11)
      & has_prd(R_0070_0002__IS_R_0070_0004__DESCRIBED,R_0070_0006__A_R_0070_0007__COUNTRY)
      & has_arg1(R_0070_0002__IS_R_0070_0004__DESCRIBED,R_0070_0001__IT)
      & has_nim7(R_0070_0002__IS_R_0070_0004__DESCRIBED,R_0070_0003__OFTEN) ) ).

( (IP-MAT (NP-SBJ (PRO It;{it}))
          (BEP;_cat_VePASS_ is;{be})
          (ADVP-NIM (ADV often;{often}))
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Cn.n/a_ described;{describe[as]})
                      (PP-PRD (P-ROLE as;{as})
                              (NP (D a;{a})
                                  (N country;{country})
                                  (IP-REL (C that;{that})
                                          (NP-SBJ *T*)
                                          (HVP;_cat_Ve_ has;{have})
                                          (ADVP-NIM (ADV successfully;{successfully}))
                                          (IP-PPL-CAT (VVN;_La_ become;{become})
                                                      (ADJP-PRD (ADJ modern;{modern}))
                                                      (PP-NIM (P-ROLE without;{without})
                                                              (IP-PPL (VAG;_Tn_ abandoning;{abandon})
                                                                      (NP-OB1 (D the;{the})
                                                                              (ADJP (ADJ ancient;{ancient}))))))))))
          (PUNC .))
  (ID 70_a_stuck_japan))