The natural language description of the rule that should be converted into a formal logical expression.