An * Assumption-based Truth Maintenance System* or ATMS keeps
for each proposition a set of sets of assumptions under which the
proposition is true. A proposition is believed at a given time
iff one of the assumption sets supporting it is satisfied.