OptionalcolorOptionaldataOptionalendOptionalendOptionalendOptionalfontOptionalisis true if any member statement is used as a main conclusion in an argument's pcs
Optionalisis true if any member statement is used as a main conclusion in an argument's pcs
Optionalisis true if any member statement is used as a premise in an argument's pcs
Optionalisis true if any member statement is used as content of a relation (will ignore references)
Optionalisis true if any member statement is used as top level element (as child of the argdown rule)
The statements that share the title with this equivalence class and are considered to be logically equivalent. See the description of this class for further details.
OptionalrelationsOptionalsectionOptionalstartOptionalstartOptionalstartOptionaltagsOptionaltitle
Argdown statements are automatically grouped into equivalence classes by using their titles as identifiers. All member statements of such a class are considered to be logically equivalent (as essentially meaning the same).
Each [[Statement]] (apart from argument descriptions) belongs to one and only one equivalence class.
Statements for which no title is defined will be given an automatically generated one and will belong to an equivalence class with only one member.
Statements in Argdown are basically string occurrences, not strings. This means that for each time a statement is defined with a certain title and text in the Argdown source code, there will be a separate member in the equivalence class with this title. This makes it possible to save occurrence-specific data with each statement (e.g. its location in the text).
The relations/tags of an equivalence class are the union set of all relations/tags of the class members. Logical relations with other statements can be of type: entails, contrary, contradictory Dialectical relations with arguments or inferences can be of type: support, attack, undercut.