Table file_contents

predicate file_contents(@file file, string contents)