Our interest is in a knowledge-based system that assists in the construction of a formal specification. In this paper, we discuss one component of such a system, a knowledge-based specification critic.