expressir 1.2.3-aarch64-linux

data/spec/syntax/remark.yaml

@@ -0,0 +1,466 @@
+---
+_class: Expressir::Model::Repository
+schemas:
+- _class: Expressir::Model::Declarations::Schema
+  file: spec/syntax/remark.exp
+  id: remark_schema
+  remarks:
+  - |-
+    Any character within the EXPRESS character set may occur between the start and end of
+    an embedded remark including the newline character; therefore, embedded remarks can span
+    several physical lines.
+  - The tail remark is written at the end of a physical line.
+  - 'UTF8 test: Příliš žluťoučký kůň úpěl ďábelské ódy.'
+  - universal scope - schema before
+  - universal scope - schema
+  remark_items:
+  - _class: Expressir::Model::Declarations::RemarkItem
+    id: remark_item
+    remarks:
+    - schema scope - schema remark item
+    - universal scope - schema remark item
+  constants:
+  - _class: Expressir::Model::Declarations::Constant
+    id: remark_constant
+    remarks:
+    - schema scope - constant
+    - universal scope - constant
+    type:
+      _class: Expressir::Model::DataTypes::String
+    expression:
+      _class: Expressir::Model::Literals::String
+      value: xxx
+  types:
+  - _class: Expressir::Model::Declarations::Type
+    id: remark_type
+    remarks:
+    - schema scope - type
+    - universal scope - type
+    underlying_type:
+      _class: Expressir::Model::DataTypes::Enumeration
+      items:
+      - _class: Expressir::Model::DataTypes::EnumerationItem
+        id: remark_enumeration_item
+        remarks:
+        - schema scope - enumeration item
+        - schema scope - enumeration item, on the same level as the type
+        - universal scope - enumeration item
+        - universal scope - enumeration item, on the same level as the type
+    where_rules:
+    - _class: Expressir::Model::Declarations::WhereRule
+      id: WR1
+      remarks:
+      - type scope - type where
+      - type scope - type where, with prefix
+      - schema scope - type where
+      - schema scope - type where, with prefix
+      - universal scope - type where
+      - universal scope - type where, with prefix
+      expression:
+        _class: Expressir::Model::Literals::Logical
+        value: :TRUE
+    informal_propositions:
+    - _class: Expressir::Model::Declarations::RemarkItem
+      id: IP1
+      remarks:
+      - type scope - type informal proposition
+      - type scope - type informal proposition, with prefix
+      - schema scope - type informal proposition
+      - schema scope - type informal proposition, with prefix
+      - universal scope - type informal proposition
+      - universal scope - type informal proposition, with prefix
+  entities:
+  - _class: Expressir::Model::Declarations::Entity
+    id: remark_entity
+    remarks:
+    - schema scope - entity
+    - universal scope - entity
+    attributes:
+    - _class: Expressir::Model::Declarations::Attribute
+      id: remark_attribute
+      remarks:
+      - entity scope - entity attribute
+      - schema scope - entity attribute
+      - universal scope - entity attribute
+      kind: :EXPLICIT
+      type:
+        _class: Expressir::Model::DataTypes::String
+    - _class: Expressir::Model::Declarations::Attribute
+      id: remark_derived_attribute
+      remarks:
+      - entity scope - entity derived attribute
+      - schema scope - entity derived attribute
+      - universal scope - entity derived attribute
+      kind: :DERIVED
+      type:
+        _class: Expressir::Model::DataTypes::String
+      expression:
+        _class: Expressir::Model::Literals::String
+        value: xxx
+    - _class: Expressir::Model::Declarations::Attribute
+      id: remark_inverse_attribute
+      remarks:
+      - entity scope - entity inverse attribute
+      - schema scope - entity inverse attribute
+      - universal scope - entity inverse attribute
+      kind: :INVERSE
+      type:
+        _class: Expressir::Model::References::SimpleReference
+        id: remark_entity
+        base_path: remark_schema.remark_entity
+      expression:
+        _class: Expressir::Model::References::SimpleReference
+        id: remark_attribute
+        base_path: remark_schema.remark_entity.remark_attribute
+    unique_rules:
+    - _class: Expressir::Model::Declarations::UniqueRule
+      id: UR1
+      remarks:
+      - entity scope - entity unique
+      - schema scope - entity unique
+      - universal scope - entity unique
+      attributes:
+      - _class: Expressir::Model::References::SimpleReference
+        id: remark_attribute
+        base_path: remark_schema.remark_entity.remark_attribute
+    where_rules:
+    - _class: Expressir::Model::Declarations::WhereRule
+      id: WR1
+      remarks:
+      - entity scope - entity where
+      - entity scope - entity where, with prefix
+      - schema scope - entity where
+      - schema scope - entity where, with prefix
+      - universal scope - entity where
+      - universal scope - entity where, with prefix
+      expression:
+        _class: Expressir::Model::Literals::Logical
+        value: :TRUE
+    informal_propositions:
+    - _class: Expressir::Model::Declarations::RemarkItem
+      id: IP1
+      remarks:
+      - entity scope - entity informal proposition
+      - entity scope - entity informal proposition, with prefix
+      - schema scope - entity informal proposition
+      - schema scope - entity informal proposition, with prefix
+      - universal scope - entity informal proposition
+      - universal scope - entity informal proposition, with prefix
+  subtype_constraints:
+  - _class: Expressir::Model::Declarations::SubtypeConstraint
+    id: remark_subtype_constraint
+    remarks:
+    - schema scope - subtype constraint
+    - universal scope - subtype constraint
+    applies_to:
+      _class: Expressir::Model::References::SimpleReference
+      id: remark_entity
+      base_path: remark_schema.remark_entity
+  functions:
+  - _class: Expressir::Model::Declarations::Function
+    id: remark_function
+    remarks:
+    - schema scope - function
+    - universal scope - function
+    parameters:
+    - _class: Expressir::Model::Declarations::Parameter
+      id: remark_parameter
+      remarks:
+      - function scope - function parameter
+      - schema scope - function parameter
+      - universal scope - function parameter
+      type:
+        _class: Expressir::Model::DataTypes::String
+    return_type:
+      _class: Expressir::Model::DataTypes::Boolean
+    types:
+    - _class: Expressir::Model::Declarations::Type
+      id: remark_type
+      remarks:
+      - function scope - function type
+      - schema scope - function type
+      - universal scope - function type
+      underlying_type:
+        _class: Expressir::Model::DataTypes::Enumeration
+        items:
+        - _class: Expressir::Model::DataTypes::EnumerationItem
+          id: remark_enumeration_item
+          remarks:
+          - function scope - function enumeration item
+          - function scope - function enumeration item, on the same level as the type
+          - schema scope - function enumeration item
+          - schema scope - function enumeration item, on the same level as the type
+          - universal scope - function enumeration item
+          - universal scope - function enumeration item, on the same level as the
+            type
+    constants:
+    - _class: Expressir::Model::Declarations::Constant
+      id: remark_constant
+      remarks:
+      - function scope - function constant
+      - schema scope - function constant
+      - universal scope - function constant
+      type:
+        _class: Expressir::Model::DataTypes::String
+      expression:
+        _class: Expressir::Model::Literals::String
+        value: xxx
+    variables:
+    - _class: Expressir::Model::Declarations::Variable
+      id: remark_variable
+      remarks:
+      - function scope - function variable
+      - schema scope - function variable
+      - universal scope - function variable
+      type:
+        _class: Expressir::Model::DataTypes::String
+    statements:
+    - _class: Expressir::Model::Statements::Alias
+      id: remark_alias
+      remarks:
+      - function alias scope - function alias
+      expression:
+        _class: Expressir::Model::References::SimpleReference
+        id: remark_variable
+        base_path: remark_schema.remark_function.remark_variable
+      statements:
+      - _class: Expressir::Model::Statements::Null
+    - _class: Expressir::Model::Statements::Repeat
+      id: remark_repeat
+      remarks:
+      - function repeat scope - function repeat
+      bound1:
+        _class: Expressir::Model::Literals::Integer
+        value: '1'
+      bound2:
+        _class: Expressir::Model::Literals::Integer
+        value: '9'
+      statements:
+      - _class: Expressir::Model::Statements::Null
+    - _class: Expressir::Model::Statements::Assignment
+      ref:
+        _class: Expressir::Model::References::SimpleReference
+        id: remark_variable
+        base_path: remark_schema.remark_function.remark_variable
+      expression:
+        _class: Expressir::Model::Expressions::QueryExpression
+        id: remark_query
+        remarks:
+        - function query scope - function query
+        aggregate_source:
+          _class: Expressir::Model::References::SimpleReference
+          id: remark_variable
+          base_path: remark_schema.remark_function.remark_variable
+        expression:
+          _class: Expressir::Model::Literals::Logical
+          value: :TRUE
+  rules:
+  - _class: Expressir::Model::Declarations::Rule
+    id: remark_rule
+    remarks:
+    - schema scope - rule
+    - universal scope - rule
+    applies_to:
+    - _class: Expressir::Model::References::SimpleReference
+      id: remark_entity
+      base_path: remark_schema.remark_entity
+    types:
+    - _class: Expressir::Model::Declarations::Type
+      id: remark_type
+      remarks:
+      - rule scope - rule type
+      - schema scope - rule type
+      - universal scope - rule type
+      underlying_type:
+        _class: Expressir::Model::DataTypes::Enumeration
+        items:
+        - _class: Expressir::Model::DataTypes::EnumerationItem
+          id: remark_enumeration_item
+          remarks:
+          - rule scope - rule enumeration item
+          - rule scope - rule enumeration item, on the same level as the type
+          - schema scope - rule enumeration item
+          - schema scope - rule enumeration item, on the same level as the type
+          - universal scope - rule enumeration item
+          - universal scope - rule enumeration item, on the same level as the type
+    constants:
+    - _class: Expressir::Model::Declarations::Constant
+      id: remark_constant
+      remarks:
+      - rule scope - rule constant
+      - schema scope - rule constant
+      - universal scope - rule constant
+      type:
+        _class: Expressir::Model::DataTypes::String
+      expression:
+        _class: Expressir::Model::Literals::String
+        value: xxx
+    variables:
+    - _class: Expressir::Model::Declarations::Variable
+      id: remark_variable
+      remarks:
+      - rule scope - rule variable
+      - schema scope - rule variable
+      - universal scope - rule variable
+      type:
+        _class: Expressir::Model::DataTypes::String
+    statements:
+    - _class: Expressir::Model::Statements::Alias
+      id: remark_alias
+      remarks:
+      - rule alias scope - rule alias
+      expression:
+        _class: Expressir::Model::References::SimpleReference
+        id: remark_variable
+        base_path: remark_schema.remark_rule.remark_variable
+      statements:
+      - _class: Expressir::Model::Statements::Null
+    - _class: Expressir::Model::Statements::Repeat
+      id: remark_repeat
+      remarks:
+      - rule repeat scope - rule repeat
+      bound1:
+        _class: Expressir::Model::Literals::Integer
+        value: '1'
+      bound2:
+        _class: Expressir::Model::Literals::Integer
+        value: '9'
+      statements:
+      - _class: Expressir::Model::Statements::Null
+    - _class: Expressir::Model::Statements::Assignment
+      ref:
+        _class: Expressir::Model::References::SimpleReference
+        id: remark_variable
+        base_path: remark_schema.remark_rule.remark_variable
+      expression:
+        _class: Expressir::Model::Expressions::QueryExpression
+        id: remark_query
+        remarks:
+        - rule query scope - rule query
+        aggregate_source:
+          _class: Expressir::Model::References::SimpleReference
+          id: remark_variable
+          base_path: remark_schema.remark_rule.remark_variable
+        expression:
+          _class: Expressir::Model::Literals::Logical
+          value: :TRUE
+    where_rules:
+    - _class: Expressir::Model::Declarations::WhereRule
+      id: WR1
+      remarks:
+      - rule scope - rule where
+      - rule scope - rule where, with prefix
+      - schema scope - rule where
+      - schema scope - rule where, with prefix
+      - universal scope - rule where
+      - universal scope - rule where, with prefix
+      expression:
+        _class: Expressir::Model::Literals::Logical
+        value: :TRUE
+    informal_propositions:
+    - _class: Expressir::Model::Declarations::RemarkItem
+      id: IP1
+      remarks:
+      - rule scope - rule informal proposition
+      - rule scope - rule informal proposition, with prefix
+      - schema scope - rule informal proposition
+      - schema scope - rule informal proposition, with prefix
+      - universal scope - rule informal proposition
+      - universal scope - rule informal proposition, with prefix
+  procedures:
+  - _class: Expressir::Model::Declarations::Procedure
+    id: remark_procedure
+    remarks:
+    - schema scope - procedure
+    - universal scope - procedure
+    parameters:
+    - _class: Expressir::Model::Declarations::Parameter
+      id: remark_parameter
+      remarks:
+      - procedure scope - procedure parameter
+      - schema scope - procedure parameter
+      - universal scope - procedure parameter
+      type:
+        _class: Expressir::Model::DataTypes::String
+    types:
+    - _class: Expressir::Model::Declarations::Type
+      id: remark_type
+      remarks:
+      - procedure scope - procedure type
+      - schema scope - procedure type
+      - universal scope - procedure type
+      underlying_type:
+        _class: Expressir::Model::DataTypes::Enumeration
+        items:
+        - _class: Expressir::Model::DataTypes::EnumerationItem
+          id: remark_enumeration_item
+          remarks:
+          - procedure scope - procedure enumeration item
+          - procedure scope - procedure enumeration item, on the same level as the
+            type
+          - schema scope - procedure enumeration item
+          - schema scope - procedure enumeration item, on the same level as the type
+          - universal scope - procedure enumeration item
+          - universal scope - procedure enumeration item, on the same level as the
+            type
+    constants:
+    - _class: Expressir::Model::Declarations::Constant
+      id: remark_constant
+      remarks:
+      - procedure scope - procedure constant
+      - schema scope - procedure constant
+      - universal scope - procedure constant
+      type:
+        _class: Expressir::Model::DataTypes::String
+      expression:
+        _class: Expressir::Model::Literals::String
+        value: xxx
+    variables:
+    - _class: Expressir::Model::Declarations::Variable
+      id: remark_variable
+      remarks:
+      - procedure scope - procedure variable
+      - schema scope - procedure variable
+      - universal scope - procedure variable
+      type:
+        _class: Expressir::Model::DataTypes::String
+    statements:
+    - _class: Expressir::Model::Statements::Alias
+      id: remark_alias
+      remarks:
+      - procedure alias scope - procedure alias
+      expression:
+        _class: Expressir::Model::References::SimpleReference
+        id: remark_variable
+        base_path: remark_schema.remark_procedure.remark_variable
+      statements:
+      - _class: Expressir::Model::Statements::Null
+    - _class: Expressir::Model::Statements::Repeat
+      id: remark_repeat
+      remarks:
+      - procedure repeat scope - procedure repeat
+      bound1:
+        _class: Expressir::Model::Literals::Integer
+        value: '1'
+      bound2:
+        _class: Expressir::Model::Literals::Integer
+        value: '9'
+      statements:
+      - _class: Expressir::Model::Statements::Null
+    - _class: Expressir::Model::Statements::Assignment
+      ref:
+        _class: Expressir::Model::References::SimpleReference
+        id: remark_variable
+        base_path: remark_schema.remark_procedure.remark_variable
+      expression:
+        _class: Expressir::Model::Expressions::QueryExpression
+        id: remark_query
+        remarks:
+        - procedure query scope - procedure query
+        aggregate_source:
+          _class: Expressir::Model::References::SimpleReference
+          id: remark_variable
+          base_path: remark_schema.remark_procedure.remark_variable
+        expression:
+          _class: Expressir::Model::Literals::Logical
+          value: :TRUE

data/spec/syntax/remark_formatted.exp

@@ -0,0 +1,227 @@
+SCHEMA remark_schema;
+
+CONSTANT
+  remark_constant : STRING := 'xxx';
+END_CONSTANT;
+
+TYPE remark_type = ENUMERATION OF
+  (remark_enumeration_item);
+WHERE
+  WR1: TRUE;
+END_TYPE;
+
+ENTITY remark_entity;
+  remark_attribute : STRING;
+DERIVE
+  remark_derived_attribute : STRING := 'xxx';
+INVERSE
+  remark_inverse_attribute : remark_entity FOR remark_attribute;
+UNIQUE
+  UR1: remark_attribute;
+WHERE
+  WR1: TRUE;
+END_ENTITY;
+
+SUBTYPE_CONSTRAINT remark_subtype_constraint FOR remark_entity;
+END_SUBTYPE_CONSTRAINT;
+
+FUNCTION remark_function(remark_parameter : STRING) : BOOLEAN;
+  TYPE remark_type = ENUMERATION OF
+    (remark_enumeration_item);
+  END_TYPE;
+  CONSTANT
+    remark_constant : STRING := 'xxx';
+  END_CONSTANT;
+  LOCAL
+    remark_variable : STRING;
+  END_LOCAL;
+  ALIAS remark_alias FOR remark_variable;
+    ;
+  --"remark_alias" function alias scope - function alias
+  END_ALIAS;
+  REPEAT remark_repeat := 1 TO 9;
+    ;
+  --"remark_repeat" function repeat scope - function repeat
+  END_REPEAT;
+  remark_variable := QUERY(remark_query <* remark_variable | TRUE
+  --"remark_query" function query scope - function query
+  );
+END_FUNCTION;
+
+RULE remark_rule FOR (remark_entity);
+  TYPE remark_type = ENUMERATION OF
+    (remark_enumeration_item);
+  END_TYPE;
+  CONSTANT
+    remark_constant : STRING := 'xxx';
+  END_CONSTANT;
+  LOCAL
+    remark_variable : STRING;
+  END_LOCAL;
+  ALIAS remark_alias FOR remark_variable;
+    ;
+  --"remark_alias" rule alias scope - rule alias
+  END_ALIAS;
+  REPEAT remark_repeat := 1 TO 9;
+    ;
+  --"remark_repeat" rule repeat scope - rule repeat
+  END_REPEAT;
+  remark_variable := QUERY(remark_query <* remark_variable | TRUE
+  --"remark_query" rule query scope - rule query
+  );
+WHERE
+  WR1: TRUE;
+END_RULE;
+
+PROCEDURE remark_procedure(remark_parameter : STRING);
+  TYPE remark_type = ENUMERATION OF
+    (remark_enumeration_item);
+  END_TYPE;
+  CONSTANT
+    remark_constant : STRING := 'xxx';
+  END_CONSTANT;
+  LOCAL
+    remark_variable : STRING;
+  END_LOCAL;
+  ALIAS remark_alias FOR remark_variable;
+    ;
+  --"remark_alias" procedure alias scope - procedure alias
+  END_ALIAS;
+  REPEAT remark_repeat := 1 TO 9;
+    ;
+  --"remark_repeat" procedure repeat scope - procedure repeat
+  END_REPEAT;
+  remark_variable := QUERY(remark_query <* remark_variable | TRUE
+  --"remark_query" procedure query scope - procedure query
+  );
+END_PROCEDURE;
+
+END_SCHEMA;
+(*"remark_schema"
+Any character within the EXPRESS character set may occur between the start and end of
+an embedded remark including the newline character; therefore, embedded remarks can span
+several physical lines.
+*)
+--"remark_schema" The tail remark is written at the end of a physical line.
+--"remark_schema" UTF8 test: Příliš žluťoučký kůň úpěl ďábelské ódy.
+--"remark_schema" universal scope - schema before
+--"remark_schema" universal scope - schema
+--"remark_schema.remark_constant" schema scope - constant
+--"remark_schema.remark_constant" universal scope - constant
+--"remark_schema.remark_type" schema scope - type
+--"remark_schema.remark_type" universal scope - type
+--"remark_schema.remark_type.remark_enumeration_item" schema scope - enumeration item
+--"remark_schema.remark_type.remark_enumeration_item" schema scope - enumeration item, on the same level as the type
+--"remark_schema.remark_type.remark_enumeration_item" universal scope - enumeration item
+--"remark_schema.remark_type.remark_enumeration_item" universal scope - enumeration item, on the same level as the type
+--"remark_schema.remark_type.WR1" type scope - type where
+--"remark_schema.remark_type.WR1" type scope - type where, with prefix
+--"remark_schema.remark_type.WR1" schema scope - type where
+--"remark_schema.remark_type.WR1" schema scope - type where, with prefix
+--"remark_schema.remark_type.WR1" universal scope - type where
+--"remark_schema.remark_type.WR1" universal scope - type where, with prefix
+--"remark_schema.remark_type.IP1" type scope - type informal proposition
+--"remark_schema.remark_type.IP1" type scope - type informal proposition, with prefix
+--"remark_schema.remark_type.IP1" schema scope - type informal proposition
+--"remark_schema.remark_type.IP1" schema scope - type informal proposition, with prefix
+--"remark_schema.remark_type.IP1" universal scope - type informal proposition
+--"remark_schema.remark_type.IP1" universal scope - type informal proposition, with prefix
+--"remark_schema.remark_entity" schema scope - entity
+--"remark_schema.remark_entity" universal scope - entity
+--"remark_schema.remark_entity.remark_attribute" entity scope - entity attribute
+--"remark_schema.remark_entity.remark_attribute" schema scope - entity attribute
+--"remark_schema.remark_entity.remark_attribute" universal scope - entity attribute
+--"remark_schema.remark_entity.remark_derived_attribute" entity scope - entity derived attribute
+--"remark_schema.remark_entity.remark_derived_attribute" schema scope - entity derived attribute
+--"remark_schema.remark_entity.remark_derived_attribute" universal scope - entity derived attribute
+--"remark_schema.remark_entity.remark_inverse_attribute" entity scope - entity inverse attribute
+--"remark_schema.remark_entity.remark_inverse_attribute" schema scope - entity inverse attribute
+--"remark_schema.remark_entity.remark_inverse_attribute" universal scope - entity inverse attribute
+--"remark_schema.remark_entity.UR1" entity scope - entity unique
+--"remark_schema.remark_entity.UR1" schema scope - entity unique
+--"remark_schema.remark_entity.UR1" universal scope - entity unique
+--"remark_schema.remark_entity.WR1" entity scope - entity where
+--"remark_schema.remark_entity.WR1" entity scope - entity where, with prefix
+--"remark_schema.remark_entity.WR1" schema scope - entity where
+--"remark_schema.remark_entity.WR1" schema scope - entity where, with prefix
+--"remark_schema.remark_entity.WR1" universal scope - entity where
+--"remark_schema.remark_entity.WR1" universal scope - entity where, with prefix
+--"remark_schema.remark_entity.IP1" entity scope - entity informal proposition
+--"remark_schema.remark_entity.IP1" entity scope - entity informal proposition, with prefix
+--"remark_schema.remark_entity.IP1" schema scope - entity informal proposition
+--"remark_schema.remark_entity.IP1" schema scope - entity informal proposition, with prefix
+--"remark_schema.remark_entity.IP1" universal scope - entity informal proposition
+--"remark_schema.remark_entity.IP1" universal scope - entity informal proposition, with prefix
+--"remark_schema.remark_subtype_constraint" schema scope - subtype constraint
+--"remark_schema.remark_subtype_constraint" universal scope - subtype constraint
+--"remark_schema.remark_function" schema scope - function
+--"remark_schema.remark_function" universal scope - function
+--"remark_schema.remark_function.remark_parameter" function scope - function parameter
+--"remark_schema.remark_function.remark_parameter" schema scope - function parameter
+--"remark_schema.remark_function.remark_parameter" universal scope - function parameter
+--"remark_schema.remark_function.remark_type" function scope - function type
+--"remark_schema.remark_function.remark_type" schema scope - function type
+--"remark_schema.remark_function.remark_type" universal scope - function type
+--"remark_schema.remark_function.remark_type.remark_enumeration_item" function scope - function enumeration item
+--"remark_schema.remark_function.remark_type.remark_enumeration_item" function scope - function enumeration item, on the same level as the type
+--"remark_schema.remark_function.remark_type.remark_enumeration_item" schema scope - function enumeration item
+--"remark_schema.remark_function.remark_type.remark_enumeration_item" schema scope - function enumeration item, on the same level as the type
+--"remark_schema.remark_function.remark_type.remark_enumeration_item" universal scope - function enumeration item
+--"remark_schema.remark_function.remark_type.remark_enumeration_item" universal scope - function enumeration item, on the same level as the type
+--"remark_schema.remark_function.remark_constant" function scope - function constant
+--"remark_schema.remark_function.remark_constant" schema scope - function constant
+--"remark_schema.remark_function.remark_constant" universal scope - function constant
+--"remark_schema.remark_function.remark_variable" function scope - function variable
+--"remark_schema.remark_function.remark_variable" schema scope - function variable
+--"remark_schema.remark_function.remark_variable" universal scope - function variable
+--"remark_schema.remark_rule" schema scope - rule
+--"remark_schema.remark_rule" universal scope - rule
+--"remark_schema.remark_rule.remark_type" rule scope - rule type
+--"remark_schema.remark_rule.remark_type" schema scope - rule type
+--"remark_schema.remark_rule.remark_type" universal scope - rule type
+--"remark_schema.remark_rule.remark_type.remark_enumeration_item" rule scope - rule enumeration item
+--"remark_schema.remark_rule.remark_type.remark_enumeration_item" rule scope - rule enumeration item, on the same level as the type
+--"remark_schema.remark_rule.remark_type.remark_enumeration_item" schema scope - rule enumeration item
+--"remark_schema.remark_rule.remark_type.remark_enumeration_item" schema scope - rule enumeration item, on the same level as the type
+--"remark_schema.remark_rule.remark_type.remark_enumeration_item" universal scope - rule enumeration item
+--"remark_schema.remark_rule.remark_type.remark_enumeration_item" universal scope - rule enumeration item, on the same level as the type
+--"remark_schema.remark_rule.remark_constant" rule scope - rule constant
+--"remark_schema.remark_rule.remark_constant" schema scope - rule constant
+--"remark_schema.remark_rule.remark_constant" universal scope - rule constant
+--"remark_schema.remark_rule.remark_variable" rule scope - rule variable
+--"remark_schema.remark_rule.remark_variable" schema scope - rule variable
+--"remark_schema.remark_rule.remark_variable" universal scope - rule variable
+--"remark_schema.remark_rule.WR1" rule scope - rule where
+--"remark_schema.remark_rule.WR1" rule scope - rule where, with prefix
+--"remark_schema.remark_rule.WR1" schema scope - rule where
+--"remark_schema.remark_rule.WR1" schema scope - rule where, with prefix
+--"remark_schema.remark_rule.WR1" universal scope - rule where
+--"remark_schema.remark_rule.WR1" universal scope - rule where, with prefix
+--"remark_schema.remark_rule.IP1" rule scope - rule informal proposition
+--"remark_schema.remark_rule.IP1" rule scope - rule informal proposition, with prefix
+--"remark_schema.remark_rule.IP1" schema scope - rule informal proposition
+--"remark_schema.remark_rule.IP1" schema scope - rule informal proposition, with prefix
+--"remark_schema.remark_rule.IP1" universal scope - rule informal proposition
+--"remark_schema.remark_rule.IP1" universal scope - rule informal proposition, with prefix
+--"remark_schema.remark_procedure" schema scope - procedure
+--"remark_schema.remark_procedure" universal scope - procedure
+--"remark_schema.remark_procedure.remark_parameter" procedure scope - procedure parameter
+--"remark_schema.remark_procedure.remark_parameter" schema scope - procedure parameter
+--"remark_schema.remark_procedure.remark_parameter" universal scope - procedure parameter
+--"remark_schema.remark_procedure.remark_type" procedure scope - procedure type
+--"remark_schema.remark_procedure.remark_type" schema scope - procedure type
+--"remark_schema.remark_procedure.remark_type" universal scope - procedure type
+--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" procedure scope - procedure enumeration item
+--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" procedure scope - procedure enumeration item, on the same level as the type
+--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" schema scope - procedure enumeration item
+--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" schema scope - procedure enumeration item, on the same level as the type
+--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" universal scope - procedure enumeration item
+--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" universal scope - procedure enumeration item, on the same level as the type
+--"remark_schema.remark_procedure.remark_constant" procedure scope - procedure constant
+--"remark_schema.remark_procedure.remark_constant" schema scope - procedure constant
+--"remark_schema.remark_procedure.remark_constant" universal scope - procedure constant
+--"remark_schema.remark_procedure.remark_variable" procedure scope - procedure variable
+--"remark_schema.remark_procedure.remark_variable" schema scope - procedure variable
+--"remark_schema.remark_procedure.remark_variable" universal scope - procedure variable
+--"remark_schema.remark_item" schema scope - schema remark item
+--"remark_schema.remark_item" universal scope - schema remark item