( (IP-PPL (VAG;_I_ Fighting;{fight})
          (PP-NIM (P-ROLE within;{within})
                  (NP (D the;{the})
                      (N race;{race})))
          (PUNC !)
          (PURQ <rdquo>))
  (ID 158_a_dick_1952))

arc(r_0158_0001__Fighting,r_0158_0003__the_r_0158_0004__race,r_0158_0002__within__nim).
arc(r_0158_0001__Fighting,z_0158_5002,arg0).

fof(formula,axiom,
    ? [R_0158_0003__THE_R_0158_0004__RACE,Z_0158_5002,R_0158_0001__FIGHTING] :
      ( r_0158_0003__the_r_0158_0004__race(R_0158_0003__THE_R_0158_0004__RACE)
      & z_0158_5002(Z_0158_5002)
      & r_0158_0001__Fighting(R_0158_0001__FIGHTING)
      & has_arg0(R_0158_0001__FIGHTING,Z_0158_5002)
      & has_r_0158_0002__within__nim(R_0158_0001__FIGHTING,R_0158_0003__THE_R_0158_0004__RACE) ) ).