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

Syntax: (emaxps-explain-unprovable-facts)

Anzeige aller unbewiesenen Fakten.

Aktiviert das interaktive grafische Frontend zum 
Erklärungsmechanismus der Babylon2 Inferenzmaschine.
Dadurch erscheint auch das Erklärungsfenster.