TSPC 123_a_stuck

123_a_stuck_japan
They do not believe Japan was the aggressor in the war, but its victim.

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

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