class_docstr: Predicate without handler.
  
  Explanation
  ===========
  
  This predicate is generated by using ``Predicate`` directly for
  construction. It does not have a handler, and evaluating this with
  arguments is done by SAT solver.
  
  Examples
  ========
  
  >>> from sympy import Predicate, Q
  >>> Q.P = Predicate('P')
  >>> Q.P.func
  <class 'sympy.assumptions.assume.UndefinedPredicate'>
  >>> Q.P.name
  Str('P')
class_docstr_tok: ["Predicate","without","handler",".","Explanation","===========","This","predicate","is","generated","by","using","``","Predicate","``","directly","for","construction",".","It","does","not","have","a","handler",",","and","evaluating","this","with","arguments","is","done","by","SAT","solver",".","Examples","========",">",">",">","from","sympy","import","Predicate",",","Q",">",">",">","Q.P","=","Predicate","(","'","P","'",")",">",">",">","Q.P.func","<","class","'sympy.assumptions.assume.UndefinedPredicate","'",">",">",">",">","Q.P.name","Str","(","'","P","'",")"]
code: def __call__(self, expr):
      return AppliedPredicate(self, expr)
  
imports: from contextlib import contextmanager
  import inspect
  from sympy.core.symbol import Str
  from sympy.core.sympify import _sympify
  from sympy.logic.boolalg import Boolean, false, true
  from sympy.multipledispatch.dispatcher import Dispatcher, str_signature
  from sympy.utilities.exceptions import sympy_deprecation_warning
  from sympy.utilities.iterables import is_sequence
  from sympy.utilities.source import get_class
label_desc: Use image node_id 5 for calling the UndefinedPredicate obj's underlying member method code with example usage: obj.__call__(expr) and returns: AppliedPredicate