def top(self):
        raise NotImplemented
:param expression: a skolemized expression in CNF
dataset/ETHPy150Open AppScale/appscale/AppServer/lib/django-0.96/django/template/__init__.py/TokenParser.top--crossover with--dataset/ETHPy150Open nltk/nltk/nltk/inference/resolution.py/_clausify