Main Features of the ATMS
The general architecture is the same as in the JTMS case.
Each assertion is supported by a set of hypotheses (assumptions) which allow to derive it. The PS does not assert anything about the validity of the assumptions.
The general schema of the cooperation between PS and ATMS is similar to the JTMS case, but in this case the ATMS manages simultaneously all possible models of the considered domain. In JTMS a node is IN or OUT depending on the single set of currently beli