public override string ToString() { return "SemanticPredicateEvent [" + Condition + "," + Result + "," + Guessing + "]"; } }