public override bool DelAnnot(ITerm t) { if (annotations == null) { return(false); } else { return(annotations.Remove(t)); } }