( (IP-MAT (NP-SBJ (N Story;{story}))
          (IP-PPL-CAT (VVN;_Tn_ Filed;{file})
                      (PP-LGS (P-ROLE;_lgs_ By;{by})
                              (NP (NPR Cox;{Cox})
                                  (NS Newspapers;{newspaper})))))
  (ID 13_a_nyt20000410))

arc(r_0013_0002__Filed,r_0013_0001__Story,arg1).
arc(r_0013_0002__Filed,r_0013_0004__Cox_r_0013_0005__Newspapers,r_0013_0003__By_arg0).
arc(z_0013_5005,r_0013_0002__Filed,scope).

fof(formula,axiom,
    ? [R_0013_0001__STORY,R_0013_0004__COX_R_0013_0005__NEWSPAPERS,Z_0013_5005_R_0013_0002__FILED] :
      ( r_0013_0001__Story(R_0013_0001__STORY)
      & r_0013_0004__Cox_r_0013_0005__Newspapers(R_0013_0004__COX_R_0013_0005__NEWSPAPERS)
      & z_0013_5005_r_0013_0002__Filed(Z_0013_5005_R_0013_0002__FILED)
      & has_r_0013_0003__By_arg0(Z_0013_5005_R_0013_0002__FILED,R_0013_0004__COX_R_0013_0005__NEWSPAPERS)
      & has_arg1(Z_0013_5005_R_0013_0002__FILED,R_0013_0001__STORY) ) ).