nltk.MaceCommand.__init__¶

MaceCommand.__init__(goal=None, assumptions=None, max_models=500, model_builder=None)[source]¶

Parameters:	goal (sem.Expression) – Input expression to prove assumptions (list(sem.Expression)) – Input expressions to use as assumptions in the proof. max_models (int) – The maximum number of models that Mace will try before simply returning false. (Use 0 for no maximum.)