class_docstr: This class represents a constraint of the form (L =< N),
  where L is a label and N is a node (a label or a hole).
class_docstr_tok: ["This","class","represents","a","constraint","of","the","form","(","L","=","<","N",")",",","where","L","is","a","label","and","N","is","a","node","(","a","label","or","a","hole",")","."]
code: def __repr__(self):
      return f"({self.lhs} < {self.rhs})"
  
imports: from functools import reduce
  from nltk.parse import load_parser
  from nltk.sem.logic import AllExpression, AndExpression, ApplicationExpression, ExistsExpression, IffExpression, ImpExpression, LambdaExpression, NegatedExpression, OrExpression
  from nltk.sem.skolemize import skolemize
label_desc: Use image node_id 5 for calling the Constraint obj's underlying member method code with example usage: obj.__repr__() and returns: str, self, str, self, str