ulkb.Theory.lookup_axiom# Theory.lookup_axiom(arg, default=<class 'ulkb.util.Nil'>)[source]# Searches for axiom. If default is given, returns it instead of raising an exception. Parameters: arg – Id or Constant. default – Value. Returns: Sequent. Raises: LookupError – arg not in theory. See also lookup_axiom().