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