TSPC 119_a_stuck

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

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

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_0119_5003___star_,arg0).
arc(r_0119_0011__was,r_0119_0002__the_r_0119_0003__Meiji_r_0119_0004__restoration,arg0).
arc(r_0119_0011__was,r_0119_0013__storming,prd).
arc(r_0119_0012__no__quant,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_0119_5003___STAR_,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_0119_5003___star_(Z_0119_5003___STAR_)
      & ! [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_0011__WAS] :
              ( r_0119_0011__was(R_0119_0011__WAS)
              & has_prd(R_0119_0011__WAS,R_0119_0013__STORMING)
              & has_arg0(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_0119_5003___STAR_)
      & 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) ) ).