( (IP-MAT (ILYR (ILYR (NP-SBJ (NPR Russell;{Russell}))
                      (IP-PPL-CAT (VVN;__ jailed;{jail})))
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (ADJP (ADJ ban_<hyphen>_the_<hyphen>_bomb;{ban_the_bomb}))
                                     (N fight;{fight}))
                             (VBP;__ goes;{go})
                             (RP on;{on}))))
          (PUNC .))
  (ID 101_a_lob_a02))

arc(r_0101_0002__jailed,r_0101_0001__Russell,arg0).
arc(r_0101_0003__but,r_0101_0006__goes_r_0101_0007__on,conj2).
arc(r_0101_0003__but,z_0101_5003,conj1).
arc(r_0101_0005__fight,r_0101_0004__ban__hyphen__the__hyphen__bomb,attrib).
arc(r_0101_0006__goes_r_0101_0007__on,r_0101_0005__fight,arg0).
arc(z_0101_5003,r_0101_0002__jailed,scope).

fof(formula,axiom,
    ? [R_0101_0004__BAN__HYPHEN__THE__HYPHEN__BOMB,R_0101_0005__FIGHT,R_0101_0006__GOES_R_0101_0007__ON,R_0101_0001__RUSSELL,Z_0101_5003_R_0101_0002__JAILED,R_0101_0003__BUT] :
      ( r_0101_0001__Russell(R_0101_0001__RUSSELL)
      & r_0101_0004__ban__hyphen__the__hyphen__bomb(R_0101_0004__BAN__HYPHEN__THE__HYPHEN__BOMB)
      & r_0101_0003__but(R_0101_0003__BUT)
      & has_conj1(R_0101_0003__BUT,Z_0101_5003_R_0101_0002__JAILED)
      & z_0101_5003_r_0101_0002__jailed(Z_0101_5003_R_0101_0002__JAILED)
      & has_arg0(Z_0101_5003_R_0101_0002__JAILED,R_0101_0001__RUSSELL)
      & has_conj2(R_0101_0003__BUT,R_0101_0006__GOES_R_0101_0007__ON)
      & r_0101_0006__goes_r_0101_0007__on(R_0101_0006__GOES_R_0101_0007__ON)
      & has_arg0(R_0101_0006__GOES_R_0101_0007__ON,R_0101_0005__FIGHT)
      & r_0101_0005__fight(R_0101_0005__FIGHT)
      & has_attrib(R_0101_0005__FIGHT,R_0101_0004__BAN__HYPHEN__THE__HYPHEN__BOMB) ) ).