public override int GetHashCode() { if (this.value == null) return this.name.GetHashCode(); return (this.name.GetHashCode() * 17 + this.verb.GetHashCode()) *13 + this.value.GetHashCode(); }