Data.Logic.Classes.Skolem

class Skolem f v