The why not command reports a reason, from cadiz's perspective, for the exclusion of a command from the menu of applicable commands.
For commands that could invoke any of several inference rules, why not can report only that none of them are applicable, which is disappointingly unhelpful.