Halpern, Edward S. Auditing Naturalistic  Some Preliminary Applications.
Edward Halpern is an auditor 
mnli hypothesis: Edward Halpern is an auditor  premise: Halpern, Edward S. Auditing Naturalistic  Some Preliminary Applications.