public FOLDomainSkolemConstantAddedEvent(Object source, String skolemConstantName) : base(source) { this.skolemConstantName = skolemConstantName; }