Usefulness in deductive systems is measured by inferential productivity and domain applicability, no...