JATS-0026-001

Rule Overview

Message

The formal statement content-type attribute value "@content-type" must be one of the following: algorithm, assertion, assumption, conclusion, corollary, definition, example, exercise, hypothesis, lemma, notation, postulate, premise, problem, proof, proposition, remark, result, solution, theorem.

Rule XPath:

This rule ASSERTS the following, raising an alert if FALSE:

@content-type = ('algorithm', 'assertion', 'assumption', 'conclusion', 'corollary',
                  'definition', 'example', 'exercise', 'hypothesis', 'lemma', 'notation', 'postulate',
                  'premise', 'problem', 'proof', 'proposition', 'remark', 'result', 'solution', 'theorem')

Contexts

statement