emaxps-explain-why-not
======================

Syntax: (emaxps-explain-why-not)

Selection of an unprovable fact and corres-
ponding explanation.

Activates the interactive graphic front end to
the Babylon2 inference engine. This call makes
the explanation window appear.