typo fixes
Format for reporting facts in Prolog syntax
Approver deletes received file, if one exists, when you call recordApproved