skolem property

Sym? skolem
final

Implementation

final Sym? skolem;