nltk.Mace.build_model

Mace.build_model(goal=None, assumptions=None, verbose=False)

Perform the actual model building. :return: Whether a model was generated :rtype: bool