d Variables for Properties)
 11: nonnegintegerp  (Functions and Variables for Numbers)
Enter space-separated numbers, `all' or `none': 0

 -- Function: askinteger (&lt;expr&gt;, integer)
 -- Function: askinteger (&lt;expr&gt;)
 -- Function: askinteger (&lt;expr&gt;, even)
 -- Function: askinteger (&lt;expr&gt;, odd)

     'askinteger (&lt;expr&gt;, integer)' attempts to determine from the
     'assume' database whether &lt;expr&gt; is an integer.  'askinteger'
     prompts the user if it cannot tell otherwi