emaxps-explain-print-unprovable-facts
=====================================

Syntax: (emaxps-explain-unprovable-facts)

Displays all unprovable facts.

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