application software incorporating an inference engine, and user manuals distributed therewith