Representation of Nodes
Each datum (assertion) of the PS is represented through a node of the ATMS, which is represented through:
name of node, label, justifications.
On the basis of the form of the label and of the justifications we may distinguish four kinds of nodes: premises, assumptions, assumed nodes, and derived nodes.