How To File PROPERTY RETURNS in SPARK