truth_value

truth_value 
      ::= 
      "true" 
      | "false" 
      | "unknown"

[rule list] 
This rule is called by

-> boolean_test