public override bool Equals(Object o)
{
if (this == o)
{
return true;
}
if ((o == null) || !(o is QuantifiedSentence))
{
return false;
}
QuantifiedSentence cs = (QuantifiedSentence)o;
return cs.quantifier.Equals(quantifier)
&& cs.variables.Equals(variables)
&& cs.quantified.Equals(quantified);
}