This tool examines a CycL formula for syntactic and semantic well-formedness, allowing the user to test for many common errors made when writing formulas before actually attempting to assert such a formula.
If no errors can be detected, the tool responds with "OK".