( (PP (P-ROLE By;{by})
      (NP (NPR Scott;{Scott})
          (NPR Montgomery;{Montgomery})
          (PRN (NP (NPR Washington;{Washington})))))
  (ID 2_a_nyt20000410))

arc(z_0002_5001,r_0002_0002__Scott_r_0002_0003__Montgomery,arg0).
arc(z_0002_5001,r_0002_0004__Washington,prd).
arc(z_0002_5003,r_0002_0002__Scott_r_0002_0003__Montgomery,r_0002_0001__By).

fof(formula,axiom,
    ? [R_0002_0002__SCOTT_R_0002_0003__MONTGOMERY,R_0002_0004__WASHINGTON,Z_0002_5001,Z_0002_5003] :
      ( r_0002_0002__Scott_r_0002_0003__Montgomery(R_0002_0002__SCOTT_R_0002_0003__MONTGOMERY)
      & r_0002_0004__Washington(R_0002_0004__WASHINGTON)
      & z_0002_5003(Z_0002_5003)
      & has_r_0002_0001__By(Z_0002_5003,R_0002_0002__SCOTT_R_0002_0003__MONTGOMERY)
      & z_0002_5001(Z_0002_5001)
      & has_prd(Z_0002_5001,R_0002_0004__WASHINGTON)
      & has_arg0(Z_0002_5001,R_0002_0002__SCOTT_R_0002_0003__MONTGOMERY) ) ).