Print rule summary in realable form:

see(rulesum)

Required argument:

   rulesum = rule summary from rules().

Examples:

   see(summary)
   see(analysis.1)
   see(rules())