ABBREVIATION_EXPECTED_IN_ARGUMENT, ALL_BOUND_OR_BOUND_FREE_NOT_EMPTY_INTERSECTION, AXIOM_EXPECTED_IN_ARGUMENT, CONVENTION, COULD_NOT_BE_ADDED, DIFFERENT_PATTERN_VARIABLES, FILE_EXISTS_ALREADY, FREE_BOUND_NOT_EMPTY_INTERSECTION, INCORRECT_LINE, LABEL_ALREADY_EXISTS, LABEL_ALREADY_EXISTS_IN, LAST_LINE_NOT_EQUAL_WITH_EXPECTED, MALFORMED_MODULE_ADDRESS, MODULE_EXPECTED, MODULE_IMPORT_FAILED, MODULE_NOT_FOUND, MODULE_SPECIFICATION_DIFFERS_FROM_NAME, MUST_BE_DIGIT_PERIOD_STRING, MUST_BE_LETTER_DIGIT_PERIOD_STRING, MUST_BE_LETTER_DIGIT_STRING, MUST_END_WITH_DIGIT, MUST_NOT_END_WITH_PERIOD, MUST_START_WITH_DIGIT, MUST_START_WITH_LETTER, NO_DIRECT_PERIODS, NO_EMPTY_STRING, NO_FOLLOWING_TEXT_ALLOWED, NO_MODULE_ADDRESS, NO_PATTERN_VARIABLE_IN_AXIOM, NO_PATTERN_VARIABLE_IN_PROPOSITION, NO_PERIODS_WITHOUT_DIGIT, NO_URL, ONLY_LOWER_CASE_CHARS, OPERATOR_WITH_ONE_TO_TWO_ARGUMENTS, OPERATOR_WITH_TWO_TO_FOUR_ARGUMENTS, OPERATOR_WITH_TWO_TO_THREE_ARGUMENTS, PART_MUST_START_WITH_LETTER, PATTERN_VARIABLES_MUST_STAND_FOR_SUBJECT_VARIABLES, POSITIVE_INTEGER_EXPECTED_IN_ARGUMENT, PRECONDITIONS_NOT_FULLFILLED, PROOF_LINES_OUT_OF_RANGE, REFERENCED_ABBREVIATION_DOES_NOT_EXIST, REFERENCED_AXIOM_DOES_NOT_EXIST, REFERENCED_FORMULA_DOES_NOT_EXIST, REFERENCED_RULE_DOES_NOT_EXIST, REFERENCED_RULE_IS_NOT_DECLARED, REFERENCED_SENTENCE_DOES_NOT_EXIST, RESULT_NOT_EQUAL_WITH_EXPECTED, RULE, RULE_ALREADY_DECLARED, SAME_PATTERN_VARIABLES, SENTENCE_EXPECTED_IN_ARGUMENT, STATE_CODE_CHECKING, STATE_CODE_LOADED_AND_VERIFIED, STATE_CODE_LOADING_FROM_BUFFER, STATE_CODE_LOADING_FROM_BUFFER_FAILED, STATE_CODE_LOADING_FROM_WEB, STATE_CODE_LOADING_FROM_WEB_FAILED, STATE_CODE_LOADING_INTO_MEMORY, STATE_CODE_LOADING_INTO_MEMORY_FAILED, STATE_CODE_UNDEFINED, STATE_STRING_CHECKING, STATE_STRING_LOADED_AND_VERIFIED, STATE_STRING_LOADING_FROM_BUFFER, STATE_STRING_LOADING_FROM_BUFFER_FAILED, STATE_STRING_LOADING_FROM_WEB, STATE_STRING_LOADING_FROM_WEB_FAILED, STATE_STRING_LOADING_INTO_MEMORY, STATE_STRING_LOADING_INTO_MEMORY_FAILED, STATE_STRING_UNDEFINED, SUBJECT_VARIABLE_EXPECTED_IN_SECOND_ARGUMENT, THIS_NO_RULE, URL_WITH_EMPTY_FILE, VARIABLE_ALREADY_BOUND, VARIABLE_ALREADY_FREE, VARIABLE_NOT_BOUND, VARIABLE_NOT_FREE |