// Convert node to string
 public override string ToString()
 {
     return(String.Format(Grouped ? "({0} {1} {2})" : "{0} {1} {2}",
                          Child1.ToString(),
                          Conjunction.ToString().ToUpper(),
                          Child2.ToString()));
 }