diff --git a/act-rules-format/act-rules-format.bs b/act-rules-format/act-rules-format.bs index 0db3191d..7c4ceafd 100644 --- a/act-rules-format/act-rules-format.bs +++ b/act-rules-format/act-rules-format.bs @@ -405,11 +405,13 @@ The applicability describes what parts of the [=test subject=] are tested. ### Applicability for Atomic Rules ### {#applicability-atomic} -The applicability section is a required part of an [=atomic rule=]. It must contain a precise description of the parts of the [=test subject=] to which the rule applies. For example, specific nodes in the DOM [[DOM]] tree, or tags that are incorrectly closed in an HTML [[HTML]] document. These are known as the [=test targets=]. The applicability must only use information made available through the listed [input aspects](#input-aspects) in the rule. No other information can be used in the applicability. Applicability must be described objectively, unambiguously and in plain language. +The applicability section is a required part of an [=atomic rule=]. It must contain a precise description of the parts of the [=test subject=] to which the rule applies. For example, specific nodes in the DOM [[DOM]] tree, or tags that are incorrectly closed in an HTML [[HTML]] document. These are known as the [=test targets=]. The applicability must only use information made available through the listed [input aspects](#input-aspects) in the rule. No other information can be used in the applicability. -An objective description is one that can be resolved without uncertainty, in a given technology. Examples of objective properties in HTML are tag names, their computed role, the distance between two elements, etc. Subjective properties on the other hand, are concepts like decorative, navigation mechanism and pre-recorded. +Applicability should be described objectively, unambiguously and in plain language. An objective description is one that can be resolved without uncertainty, in a given technology. Examples of objective properties in HTML are tag names, their computed role, the distance between two elements, etc. When possible, objective descriptions should be used since they reduce uncertainty. -Even concepts like headings and images can be misunderstood. These terms could refer to the tag name, the semantic role, or the element's purpose on the web page because they are ambiguous. The latter of which is almost impossible to define objectively. When used in applicability, potentially ambiguous concepts must be defined objectively. Definitions can be put in the rule [glossary](#glossary), or they can be defined in the section where they are used. +Subjective properties on the other hand, are concepts like decorative, navigation mechanism and pre-recorded. When possible, subjectivity should be avoided since it can easily be misunderstood. For example, concepts like headings and images could refer to the tag name, the semantic role, or the element’s purpose on the web page because they are ambiguous. In cases where it is impossible to objectively define the applicability, the use of a subjective description in the applicability is acceptable. + +Definitions can be put in the rule [glossary](#glossary), or they can be defined in the section where they are used. + + + + + + +#### Applicability Type Designation (optional) + +Rules can optionally include an applicability type identifier signifying whether the rule contains an objective or a subjective applicability. This identifier is intended to benefit rule readers and implementers by clearly stating the rule authors intention of the applicability and reducing confusion due to different reader and implementer interpretations. + ### Applicability for Composite Rules ### {#applicability-composite} The applicability of a composite rule is defined as the union of all applicability definitions from the rules listed in the [input rules](#input-rules). Rule authors may omit a description of the applicability for composite rules. This can be useful if it is difficult to express the combined applicability in plain language. If the composite rule includes applicability, it must be the union of all the applicability in the [input rules](#input-rules). @@ -452,6 +480,10 @@ Note that input rules in a composite rule may have diff +#### Applicability Type Designation (optional) + +Composite rules can optionally include an applicability type identifier signifying whether the rule contains an objective or a subjective applicability. The applicability type of a composite rule is calculated as subjective if any of the input rules contain a subjective applicability or objective otherwise. + Expectations {#expectations} ----------------------------