def skolem_function(univ_scope=None):
 skolem = VariableExpression(Variable((u'F%s' % _counter.get())))
 if univ_scope:
  for v in list(univ_scope):
   skolem = skolem(VariableExpression(v))
 return skolem

def skolem_function ( univ_scope = None ) : skolem = VariableExpression ( Variable ( ( u'F%s' % _counter . get ( ) ) ) ) if univ_scope : for v in list ( univ_scope ) : skolem = skolem ( VariableExpression ( v ) ) return skolem
return a skolem function over the variables in univ_scope param univ_scope .