Assumptions and Justifications
An assumption is a fundamental, primitive assertion about the domain, whose truth is not of any concern of the PS. The assumptions that are considered by the ATMS are identified a-priori by the designer.
A justification is a specification of how a node (called consequent) may be derived from other nodes (called antecedents). A justification expresses logical dependencies between the consequent and the antecedents. A justification of the kind:
x, y, z _ n, means x _ y _ z _ n