OptionalargumentThe title of the argument of whose pcs this inference is a part of
OptionalconclusionThe pcs index of the conclusion containing this inference
OptionaldataOptionalendOptionalendOptionalendOptionalinferenceOptionalrelationsOptionalsectionOptionalstartOptionalstartOptionalstartOptionaltitle
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.