access_file(+F , +G)*
Verify whether file F respects property G. The file is processed with absolute_file_name.