FI-ASK bottoms out to NEW-CYC-QUERY. "new-cyc-query" should be used to return results.
The fully bound query will return true or could not prove. For true "(NIL)" is the data structure returned by new-cyc-query. When it can't prove, we return "NIL". Note the only difference is NIL vs singleton NIL, i.e. NIL within parenthesis.