@Override default int initHashCode() { return OWLObject.hashIteration(hashIndex(), getOperandsAsList().hashCode()); }
@Override default int initHashCode() { return OWLObject.hashIteration(hashIndex(), getOperandsAsList().hashCode()); }
@Override default int initHashCode() { return OWLObject.hashIteration(hashIndex(), getOperandsAsList().hashCode()); }