emaxps-explain-why ================== Syntax: (emaxps-explain-why) Shows and gives reasons for the recent state of the proof process (The evaluation of the prolog clauses). Activates the interactive graphic front end to the Babylon2 inference engine. This call makes the explanation window appear.