123_a_stuck_japan
They do not believe Japan was the aggressor in the war, but its victim.
arc(r_0123_0002__do_r_0123_0004__believe, r_0123_0001__They, arg0).
arc(r_0123_0002__do_r_0123_0004__believe, r_0123_0006__was, arg1).
arc(r_0123_0003__not, r_0123_0002__do_r_0123_0004__believe, keep_scope).
arc(r_0123_0006__was, r_0123_0005__Japan, arg0).
arc(r_0123_0006__was, r_0123_0007__the_r_0123_0008__aggressor, prd).
arc(r_0123_0007__the_r_0123_0008__aggressor, r_0123_0013__but, r_0123_0009__in).
arc(r_0123_0013__but, r_0123_0010__the_r_0123_0011__war, conj1).
arc(r_0123_0013__but, r_0123_0015__victim, conj2).
arc(r_0123_0015__victim, r_0123_0005__Japan, gen).
fof(formula,axiom,
~ ? [R_123_2_DO_BELIEVE,R_123_1_THEY,R_123_6_WAS,R_123_7_THE_AGGRESSOR,R_123_13_BUT,R_123_10_THE_WAR,R_123_15_VICTIM,R_123_5_JAPAN] :
( they(R_123_1_THEY)
& the_war(R_123_10_THE_WAR)
& japan(R_123_5_JAPAN)
& do_believe(R_123_2_DO_BELIEVE,R_123_1_THEY,R_123_6_WAS)
& was(R_123_6_WAS,R_123_5_JAPAN,R_123_7_THE_AGGRESSOR)
& the_aggressor(R_123_7_THE_AGGRESSOR)
& in(R_123_7_THE_AGGRESSOR,R_123_13_BUT)
& but(R_123_13_BUT)
& conj1(R_123_13_BUT,R_123_10_THE_WAR)
& conj2(R_123_13_BUT,R_123_15_VICTIM)
& victim(R_123_15_VICTIM)
& gen(R_123_15_VICTIM,R_123_5_JAPAN) ) ).
( (IP-MAT (NP-SBJ (PRO They;{they}))
(DOP do;{do})
(NEG not;{not})
(VB;_Tf_ believe;{believe})
(CP-THT-OB1 (IP-SUB (NP-SBJ;{JAPAN} (NPR Japan;{Japan}))
(BED;_Ln_ was;{be})
(NP-PRD (D the;{the})
(N aggressor;{aggressor})
(PP (P-ROLE in;{in})
(NP (NLYR (NLYR (D the;{the})
(N war;{war}))
(PUNC ,)
(CONJP (CONJ but;{but})
(NLYR (NP-GEN;{JAPAN} (PRO its;{its}))
(N victim;{victim})))))))))
(PUNC .))
(ID 123_a_stuck_japan))