class_docstr: A first order model is a domain *D* of discourse and a valuation *V*.
  
  A domain *D* is a set, and a valuation *V* is a map that associates
  expressions with values in the model.
  The domain of *V* should be a subset of *D*.
  
  Construct a new ``Model``.
  
  :type domain: set
  :param domain: A set of entities representing the domain of discourse of the model.
  :type valuation: Valuation
  :param valuation: the valuation of the model.
  :param prop: If this is set, then we are building a propositional    model and don't require the domain of *V* to be subset of *D*.
class_docstr_tok: ["A","first","order","model","is","a","domain","*","D","*","of","discourse","and","a","valuation","*","V","*",".","A","domain","*","D","*","is","a","set",",","and","a","valuation","*","V","*","is","a","map","that","associates","expressions","with","values","in","the","model",".","The","domain","of","*","V","*","should","be","a","subset","of","*","D","*",".","Construct","a","new","``","Model","``",".",":","type","domain",":","set",":","param","domain",":","A","set","of","entities","representing","the","domain","of","discourse","of","the","model",".",":","type","valuation",":","Valuation",":","param","valuation",":","the","valuation","of","the","model",".",":","param","prop",":","If","this","is","set",",","then","we","are","building","a","propositional","model","and","do","n't","require","the","domain","of","*","V","*","to","be","subset","of","*","D","*","."]
code: def __repr__(self):
      return f"({self.domain!r}, {self.valuation!r})"
  
imports: import inspect
  import re
  import sys
  import textwrap
  from pprint import pformat
  from nltk.decorators import decorator
  from nltk.sem.logic import AbstractVariableExpression, AllExpression, AndExpression, ApplicationExpression, EqualityExpression, ExistsExpression, Expression, IffExpression, ImpExpression, IndividualVariableExpression, IotaExpression, LambdaExpression, NegatedExpression, OrExpression, Variable, is_indvar
label_desc: Use image node_id 2 for calling the Model obj's underlying member method code with example usage: obj.__repr__() and returns: str, self, str, self, str