private void removeMode(final Theory theory, final String str) throws ParserException {
		int l = -1;
		if ((l = str.indexOf(DflTheoryConst.SYMBOL_MODE_CONVERSION)) > 0) {
			try {
				String o = str.substring(0, l).trim();
				String[] c = str.substring(l + DflTheoryConst.SYMBOL_MODE_CONVERSION.length()).split(
						"" + DflTheoryConst.LITERAL_SEPARATOR);
				for (String convertMode : c) {
					out.print("remove mode conversion rule: [" + o + "]" + DflTheoryConst.SYMBOL_MODE_CONVERSION + " "
							+ convertMode + " ...");
					theory.removeModeConversionRule(o, convertMode);
					out.println("...success");
				}
			} catch (Exception e) {
				throw new ParserException(e);
			}
		} else if ((l = str.indexOf(DflTheoryConst.SYMBOL_MODE_CONFLICT)) > 0) {
			try {
				String o = str.substring(0, l).trim();
				String[] c = str.substring(l + DflTheoryConst.SYMBOL_MODE_CONVERSION.length()).split(
						"" + DflTheoryConst.LITERAL_SEPARATOR);
				for (String conflictMode : c) {
					out.print("remove mode conflict rule: [" + o + "]" + DflTheoryConst.SYMBOL_MODE_CONFLICT + " "
							+ conflictMode + " ...");
					theory.removeModeConflictRule(o, conflictMode);
					out.println("...success");
				}
			} catch (Exception e) {
				throw new ParserException(e);
			}
		} else {
			throw new ParserException(ErrorMessage.RULE_UNRECOGNIZED_RULE_TYPE, new Object[] { str });
		}
	}