In JTMS it refers to nonmonotonic justifications, i.e. an assertion which is not derivable from the assertions currently believed (IN), but which does not introduce inconsistencies. In JTMS this concept is context-dependent: if OUT nodes which support the
In ATMS an assumption is a primitive assertion which may allow to derive other assertions, regardless of its actual likelihood.