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