ulkb.reset# reset(arg=None, theory=None)[source]# Removes all extensions since arg (inclusive). See Theory.reset().