public override void notifyListener(FOLDomainListener listener) { listener.skolemFunctionAdded(this); } }