An inference in an argument's premise-conclusion-structure (pcs). To keep the pcs simple, inferences are stored as property of the conclusion statement that is inferred. Thus, the last statement of a pcs will always be a conclusion containing an inference.
Inferences can be identified by their argument's title and their conclusion's index in the argument's pcs.
The title of the argument of whose pcs this inference is a part of
The pcs index of the conclusion containing this inference
Generated using TypeDoc