TSPC 119_a_stuck

119_a_stuck_japan
But the Meiji restoration, as it's known, was no storming of the Bastille.

arc(r_0119_0001__But_r_0119_0011__was, r_0119_0002__the_r_0119_0003__Meiji_r_0119_0004__restoration, arg0).
arc(r_0119_0001__But_r_0119_0011__was, r_0119_0013__storming, prd).
arc(r_0119_0008___apos_s, r_0119_0009__known, scope).
arc(r_0119_0009__known, r_0119_0002__the_r_0119_0003__Meiji_r_0119_0004__restoration, prd).
arc(r_0119_0009__known, r_0119_0007__it, arg1).
arc(r_0119_0009__known, z_000_119_a_stuck_japan_25, arg0).
arc(r_0119_0012__no_quant, r_0119_0001__But_r_0119_0011__was, scope).
arc(r_0119_0012__no_quant, r_0119_0013__storming, restriction).
arc(r_0119_0013__storming, r_0119_0015__the_r_0119_0016__Bastille, r_0119_0014__of).

fof(formula,axiom,
    ? [R_0119_0002__THE_R_0119_0003__MEIJI_R_0119_0004__RESTORATION,R_0119_0007__IT,Z_000_119_A_STUCK_JAPAN_25,R_0119_0008___APOS_S_R_0119_0009__KNOWN] :
      ( r_0119_0002__the_r_0119_0003__Meiji_r_0119_0004__restoration(R_0119_0002__THE_R_0119_0003__MEIJI_R_0119_0004__RESTORATION)
      & r_0119_0007__it(R_0119_0007__IT)
      & z_000_119_a_stuck_japan_25(Z_000_119_A_STUCK_JAPAN_25)
      & ! [R_0119_0013__STORMING,R_0119_0015__THE_R_0119_0016__BASTILLE] :
          ( ( r_0119_0015__the_r_0119_0016__Bastille(R_0119_0015__THE_R_0119_0016__BASTILLE)
            & r_0119_0013__storming(R_0119_0013__STORMING)
            & has_r_0119_0014__of(R_0119_0013__STORMING,R_0119_0015__THE_R_0119_0016__BASTILLE) )
         => ? [R_0119_0001__BUT_R_0119_0011__WAS] :
              ( r_0119_0001__But_r_0119_0011__was(R_0119_0001__BUT_R_0119_0011__WAS)
              & has_prd(R_0119_0001__BUT_R_0119_0011__WAS,R_0119_0013__STORMING)
              & has_arg0(R_0119_0001__BUT_R_0119_0011__WAS,R_0119_0002__THE_R_0119_0003__MEIJI_R_0119_0004__RESTORATION) ) )
      & r_0119_0008___apos_s_r_0119_0009__known(R_0119_0008___APOS_S_R_0119_0009__KNOWN)
      & has_arg0(R_0119_0008___APOS_S_R_0119_0009__KNOWN,Z_000_119_A_STUCK_JAPAN_25)
      & has_arg1(R_0119_0008___APOS_S_R_0119_0009__KNOWN,R_0119_0007__IT)
      & has_prd(R_0119_0008___APOS_S_R_0119_0009__KNOWN,R_0119_0002__THE_R_0119_0003__MEIJI_R_0119_0004__RESTORATION) ) ).

( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ (D the;{the})
                  (NPR Meiji;{Meiji})
                  (N restoration;{restoration})
                  (PUNC ,)
                  (IP-REL (NP-138 (RPRO as;{as}))
                          (NP-SBJ (PRO it;{it}))
                          (BEP;_cat_VePASS_ <apos>s;{be})
                          (IP-PPL-CAT (NP-PRD *ICH*-138)
                                      (NP-LGS *)
                                      (VVN;_Cn.n_ known;{know}))))
          (PUNC ,)
          (BED;__ was;{be})
          (NP-PRD (Q no;{no})
                  (N storming;{storming})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (NPR Bastille;{Bastille}))))
          (PUNC .))
  (ID 119_a_stuck_japan))