Automatic formulation of the auditor's opinion; AREX: a knowledge-based approach