condition_number

condition_number 
      ::= simple_value_spec 

This rule is called by

-> condition_information