// END-AtomicSentence
//
public override bool Equals(Object o)
{
if (this == o)
{
return(true);
}
if ((o == null) || !(o is TermEquality))
{
return(false);
}
TermEquality te = (TermEquality)o;
return(te.getTerm1().Equals(term1) && te.getTerm2().Equals(term2));
}