class com.meyling.principia.logic.paragraph.Abbreviation (implements com.meyling.principia.argument.Argument, com.meyling.principia.logic.paragraph.ParagraphCheck)
class com.meyling.principia.logic.paragraph.Axiom (implements com.meyling.principia.argument.Argument, com.meyling.principia.logic.paragraph.ParagraphCheck)
class com.meyling.principia.logic.paragraph.LinkLabel (implements com.meyling.principia.argument.Argument, com.meyling.principia.module.Labeled, com.meyling.principia.module.Textable)
class com.meyling.principia.logic.paragraph.ProofLine (implements com.meyling.principia.argument.Argument)
class com.meyling.principia.logic.paragraph.Sentence (implements com.meyling.principia.argument.Argument)
class com.meyling.principia.logic.paragraph.Paragraph (implements com.meyling.principia.argument.Argument)
class com.meyling.principia.logic.paragraph.ProofLineList (implements com.meyling.principia.argument.Argument)
class com.meyling.principia.logic.paragraph.Proposition (implements com.meyling.principia.argument.Argument, com.meyling.principia.logic.paragraph.ParagraphCheck)
class com.meyling.principia.logic.paragraph.RuleDeclaration (implements com.meyling.principia.argument.Argument, com.meyling.principia.logic.paragraph.ParagraphCheck)