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_119_8__APOS_S_KNOWN,Z_119_A_STUCK_JAPAN_25,R_119_7_IT,R_119_2_THE_MEIJI_RESTORATION] :
( it(R_119_7_IT)
& the_Meiji_restoration(R_119_2_THE_MEIJI_RESTORATION)
& _apos_s_known(R_119_8__APOS_S_KNOWN,Z_119_A_STUCK_JAPAN_25,R_119_7_IT,R_119_2_THE_MEIJI_RESTORATION)
& ! [R_119_13_STORMING,R_119_15_THE_BASTILLE] :
( ( the_Bastille(R_119_15_THE_BASTILLE)
& storming(R_119_13_STORMING)
& of(R_119_13_STORMING,R_119_15_THE_BASTILLE) )
=> ? [R_119_1_BUT_WAS] : but_was(R_119_1_BUT_WAS,R_119_2_THE_MEIJI_RESTORATION,R_119_13_STORMING) ) ) ).
( (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))