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_0123_0001__THEY,R_0123_0005__JAPAN,R_0123_0010__THE_R_0123_0011__WAR,R_0123_0015__VICTIM,R_0123_0013__BUT,R_0123_0007__THE_R_0123_0008__AGGRESSOR,R_0123_0006__WAS,R_0123_0002__DO_R_0123_0004__BELIEVE] :
( r_0123_0001__They(R_0123_0001__THEY)
& r_0123_0005__Japan(R_0123_0005__JAPAN)
& r_0123_0010__the_r_0123_0011__war(R_0123_0010__THE_R_0123_0011__WAR)
& r_0123_0002__do_r_0123_0004__believe(R_0123_0002__DO_R_0123_0004__BELIEVE)
& has_arg1(R_0123_0002__DO_R_0123_0004__BELIEVE,R_0123_0006__WAS)
& r_0123_0006__was(R_0123_0006__WAS)
& has_prd(R_0123_0006__WAS,R_0123_0007__THE_R_0123_0008__AGGRESSOR)
& r_0123_0007__the_r_0123_0008__aggressor(R_0123_0007__THE_R_0123_0008__AGGRESSOR)
& has_r_0123_0009__in(R_0123_0007__THE_R_0123_0008__AGGRESSOR,R_0123_0013__BUT)
& r_0123_0013__but(R_0123_0013__BUT)
& has_conj2(R_0123_0013__BUT,R_0123_0015__VICTIM)
& r_0123_0015__victim(R_0123_0015__VICTIM)
& has_gen(R_0123_0015__VICTIM,R_0123_0005__JAPAN)
& has_conj1(R_0123_0013__BUT,R_0123_0010__THE_R_0123_0011__WAR)
& has_arg0(R_0123_0006__WAS,R_0123_0005__JAPAN)
& has_arg0(R_0123_0002__DO_R_0123_0004__BELIEVE,R_0123_0001__THEY) ) ).
( (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))