Entailment graph generator has more machine readable output for the trace.