Representation of Nodes
A node is represented in JTMS by a record including the following information:
1. Status. IN or OUT. There is another temporary value (nil) utilized during the truth maintenance process
2. Set of justifications associated to the node.
3. Support justification, i.e. one of the valid justifications.
4. Support nodes. Set of all the nodes utilized for computing the status.
5. Antecedents. Superset of support nodes, including all the nodes in the IN and OUT lists.
6. Foundations. Transitive closure of antecedents.
7. Consequences. Set of nodes which refer to the node in their justification.
8. Interested consequences. Set of nodes which include the node in their support justification.
9. Ripercussions. Transitive closure of interested consequences.