expressir 0.2.4 → 0.2.9

data/lib/expressir/model.rb

@@ -6,6 +6,7 @@ require 'expressir/model/constant'
 require 'expressir/model/entity'
 require 'expressir/model/enumeration_item'
 require 'expressir/model/function'
+require 'expressir/model/informal_proposition'
 require 'expressir/model/interface'
 require 'expressir/model/parameter'
 require 'expressir/model/procedure'

data/lib/expressir/model/entity.rb

@@ -10,6 +10,7 @@ module Expressir
       attr_accessor :attributes
       attr_accessor :unique
       attr_accessor :where
+      attr_accessor :informal_propositions
 
       def initialize(options = {})
         @id = options[:id]
@@ -20,6 +21,7 @@ module Expressir
         @attributes = options[:attributes]
         @unique = options[:unique]
         @where = options[:where]
+        @informal_propositions = options[:informal_propositions]
       end
 
       def explicit_attributes
@@ -39,6 +41,7 @@ module Expressir
         items.push(*@attributes) if @attributes
         items.push(*@unique) if @unique
         items.push(*@where) if @where
+        items.push(*@informal_propositions) if @informal_propositions
         items
       end
     end

data/lib/expressir/model/expressions/query_expression.rb

@@ -5,13 +5,13 @@ module Expressir
         include Scope
         include Identifier
 
-        attr_accessor :source
+        attr_accessor :aggregate_source
         attr_accessor :expression
 
         def initialize(options = {})
           @id = options[:id]
 
-          @source = options[:source]
+          @aggregate_source = options[:aggregate_source]
           @expression = options[:expression]
         end
 

data/lib/expressir/model/identifier.rb

@@ -1,6 +1,8 @@
 module Expressir
   module Model
     module Identifier
+      attr_accessor :source
+
       attr_accessor :id
       attr_accessor :parent
       attr_accessor :remarks

data/lib/expressir/model/informal_proposition.rb

@@ -0,0 +1,11 @@
+module Expressir
+  module Model
+    class InformalProposition
+      include Identifier
+
+      def initialize(options = {})
+        @id = options[:id]
+      end
+    end
+  end
+end

data/lib/expressir/model/rule.rb

@@ -10,6 +10,7 @@ module Expressir
       attr_accessor :variables
       attr_accessor :statements
       attr_accessor :where
+      attr_accessor :informal_propositions
 
       def initialize(options = {})
         @id = options[:id]
@@ -20,6 +21,7 @@ module Expressir
         @variables = options[:variables]
         @statements = options[:statements]
         @where = options[:where]
+        @informal_propositions = options[:informal_propositions]
       end
 
       def types
@@ -55,6 +57,7 @@ module Expressir
         items.push(*@constants) if @constants
         items.push(*@variables) if @variables
         items.push(*@where) if @where
+        items.push(*@informal_propositions) if @informal_propositions
         items
       end
     end

data/lib/expressir/model/schema.rb

@@ -9,6 +9,8 @@ module Expressir
       attr_accessor :constants
       attr_accessor :declarations
 
+      attr_accessor :head_source
+
       def initialize(options = {})
         @id = options[:id]
         @version = options[:version]

data/lib/expressir/model/scope.rb

@@ -1,11 +1,60 @@
 module Expressir
   module Model
     module Scope
+      attr_accessor :source
+
       def find(path)
-        path.downcase.split(".").reduce(self) do |acc, curr|
-          if acc and acc.class.method_defined? :children
-            acc.children.find{|x| x.id.downcase == curr}
+        current_path, _, rest = path.partition(".")
+
+        # ignore prefix
+        _, _, current_path = current_path.rpartition(":")
+
+        current_path = current_path.downcase
+        child = children.find{|x| x.id and x.id.downcase == current_path}
+
+        if !rest.empty? and child.class.method_defined? :find
+          child.find(rest)
+        else
+          child
+        end
+      end
+
+      def find_or_create(path)
+        child = find(path)
+
+        if !child
+          # check if path should create implicit informal proposal
+          # see https://github.com/lutaml/expressir/issues/50
+          rest, _, current_path = path.rpartition(".")
+
+          if !rest.empty?
+            child = find(rest)
+          else
+            child = self
+          end
+
+          if child.class.method_defined? :informal_propositions
+            # ignore prefix
+            _, _, current_path = current_path.rpartition(":")
+
+            # match informal proposition id
+            informal_proposition_id = current_path.match(/^IP\d+$/).to_a[0]
+
+            if informal_proposition_id
+              # create implicit informal proposition
+              informal_proposition = Model::InformalProposition.new({
+                id: informal_proposition_id
+              })
+              informal_proposition.parent = child
+
+              child.informal_propositions ||= []
+              child.informal_propositions << informal_proposition
+
+              informal_proposition
+            end
           end
+        else
+          child
         end
       end
 

data/lib/expressir/model/type.rb

@@ -6,17 +6,25 @@ module Expressir
 
       attr_accessor :type
       attr_accessor :where
+      attr_accessor :informal_propositions
 
       def initialize(options = {})
         @id = options[:id]
 
         @type = options[:type]
         @where = options[:where]
+        @informal_propositions = options[:informal_propositions]
       end
 
       def children
         items = []
+        items.push(*[
+          *if @type.instance_of? Expressir::Model::Types::Enumeration
+            @type.items
+          end
+        ])
         items.push(*@where) if @where
+        items.push(*@informal_propositions) if @informal_propositions
         items
       end
     end

data/lib/expressir/version.rb

@@ -1,3 +1,3 @@
 module Expressir
-  VERSION = "0.2.4".freeze
+  VERSION = "0.2.9".freeze
 end

data/original/examples/syntax/remark.exp

@@ -4,24 +4,34 @@ an embedded remark including the newline character; therefore, embedded remarks
 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
 
 SCHEMA remark_schema;
 
 CONSTANT remark_constant : STRING := 'xxx'; END_CONSTANT;
-TYPE remark_type = ENUMERATION OF (remark_enumeration_item); END_TYPE;
+TYPE remark_type = ENUMERATION OF (remark_enumeration_item);
+  WHERE WR1 : TRUE;
+  --"WR1" type scope - type where
+  --"IP1" type scope - type informal proposition
+  --"wr:WR1" type scope - type where, with prefix
+  --"ip:IP1" type scope - type informal proposition, with prefix
+END_TYPE;
 ENTITY remark_entity;
   remark_attribute : STRING;
   DERIVE remark_derived_attribute : STRING := 'xxx';
   INVERSE remark_inverse_attribute : remark_entity FOR remark_attribute;
   UNIQUE remark_unique : remark_attribute;
-  WHERE remark_where : TRUE;
+  WHERE WR1 : TRUE;
   --"remark_attribute" entity scope - entity attribute
   --"remark_derived_attribute" entity scope - entity derived attribute
   --"remark_inverse_attribute" entity scope - entity inverse attribute
   --"remark_unique" entity scope - entity unique
-  --"remark_where" entity scope - entity where
+  --"WR1" entity scope - entity where
+  --"IP1" entity scope - entity informal proposition
+  --"wr:WR1" entity scope - entity where, with prefix
+  --"ip:IP1" entity scope - entity informal proposition, with prefix
 END_ENTITY;
 SUBTYPE_CONSTRAINT remark_subtype_constraint FOR remark_entity; END_SUBTYPE_CONSTRAINT;
 FUNCTION remark_function(remark_parameter : STRING) : BOOLEAN;
@@ -39,7 +49,8 @@ FUNCTION remark_function(remark_parameter : STRING) : BOOLEAN;
   );
   --"remark_parameter" function scope - function parameter
   --"remark_type" function scope - function type
-  --"remark_enumeration_item" function scope - function enumeration item
+  --"remark_type.remark_enumeration_item" function scope - function enumeration item
+  --"remark_enumeration_item" function scope - function enumeration item, on the same level as the type
   --"remark_constant" function scope - function constant
   --"remark_variable" function scope - function variable
 END_FUNCTION;
@@ -58,7 +69,8 @@ PROCEDURE remark_procedure(remark_parameter : STRING);
   );
   --"remark_parameter" procedure scope - procedure parameter
   --"remark_type" procedure scope - procedure type
-  --"remark_enumeration_item" procedure scope - procedure enumeration item
+  --"remark_type.remark_enumeration_item" procedure scope - procedure enumeration item
+  --"remark_enumeration_item" procedure scope - procedure enumeration item, on the same level as the type
   --"remark_constant" procedure scope - procedure constant
   --"remark_variable" procedure scope - procedure variable
 END_PROCEDURE;
@@ -75,71 +87,103 @@ RULE remark_rule FOR (remark_entity);
   remark_variable := QUERY(remark_query <* remark_variable | TRUE
     --"remark_query" rule query scope - rule query
   );
-  WHERE remark_where : TRUE;
+  WHERE WR1 : TRUE;
   --"remark_type" rule scope - rule type
-  --"remark_enumeration_item" rule scope - rule enumeration item
+  --"remark_type.remark_enumeration_item" rule scope - rule enumeration item
+  --"remark_enumeration_item" rule scope - rule enumeration item, on the same level as the type
   --"remark_constant" rule scope - rule constant
   --"remark_variable" rule scope - rule variable
-  --"remark_where" rule scope - rule where
+  --"WR1" rule scope - rule where
+  --"IP1" rule scope - rule informal proposition
+  --"wr:WR1" rule scope - rule where, with prefix
+  --"ip:IP1" rule scope - rule informal proposition, with prefix
 END_RULE;
 
 --"remark_constant" schema scope - constant
 --"remark_type" schema scope - type
---"remark_enumeration_item" schema scope - enumeration item
+--"remark_type.WR1" schema scope - type where
+--"remark_type.IP1" schema scope - type informal proposition
+--"remark_type.wr:WR1" schema scope - type where, with prefix
+--"remark_type.ip:IP1" schema scope - type informal proposition, with prefix
+--"remark_type.remark_enumeration_item" schema scope - enumeration item
+--"remark_enumeration_item" schema scope - enumeration item, on the same level as the type
 --"remark_entity" schema scope - entity
 --"remark_entity.remark_attribute" schema scope - entity attribute
 --"remark_entity.remark_derived_attribute" schema scope - entity derived attribute
 --"remark_entity.remark_inverse_attribute" schema scope - entity inverse attribute
 --"remark_entity.remark_unique" schema scope - entity unique
---"remark_entity.remark_where" schema scope - entity where
+--"remark_entity.WR1" schema scope - entity where
+--"remark_entity.IP1" schema scope - entity informal proposition
+--"remark_entity.wr:WR1" schema scope - entity where, with prefix
+--"remark_entity.ip:IP1" schema scope - entity informal proposition, with prefix
 --"remark_subtype_constraint" schema scope - subtype constraint
 --"remark_function" schema scope - function
 --"remark_function.remark_parameter" schema scope - function parameter
 --"remark_function.remark_type" schema scope - function type
---"remark_function.remark_enumeration_item" schema scope - function enumeration item
+--"remark_function.remark_type.remark_enumeration_item" schema scope - function enumeration item
+--"remark_function.remark_enumeration_item" schema scope - function enumeration item, on the same level as the type
 --"remark_function.remark_constant" schema scope - function constant
 --"remark_function.remark_variable" schema scope - function variable
 --"remark_procedure" schema scope - procedure
 --"remark_procedure.remark_parameter" schema scope - procedure parameter
 --"remark_procedure.remark_type" schema scope - procedure type
---"remark_procedure.remark_enumeration_item" schema scope - procedure enumeration item
+--"remark_procedure.remark_type.remark_enumeration_item" schema scope - procedure enumeration item
+--"remark_procedure.remark_enumeration_item" schema scope - procedure enumeration item, on the same level as the type
 --"remark_procedure.remark_constant" schema scope - procedure constant
 --"remark_procedure.remark_variable" schema scope - procedure variable
 --"remark_rule" schema scope - rule
 --"remark_rule.remark_type" schema scope - rule type
---"remark_rule.remark_enumeration_item" schema scope - rule enumeration item
+--"remark_rule.remark_type.remark_enumeration_item" schema scope - rule enumeration item
+--"remark_rule.remark_enumeration_item" schema scope - rule enumeration item, on the same level as the type
 --"remark_rule.remark_constant" schema scope - rule constant
 --"remark_rule.remark_variable" schema scope - rule variable
---"remark_rule.remark_where" schema scope - rule where
+--"remark_rule.WR1" schema scope - rule where
+--"remark_rule.IP1" schema scope - rule informal proposition
+--"remark_rule.wr:WR1" schema scope - rule where, with prefix
+--"remark_rule.ip:IP1" schema scope - rule informal proposition, with prefix
 
 END_SCHEMA;
 
 --"remark_schema" universal scope - schema
 --"remark_schema.remark_constant" universal scope - constant
 --"remark_schema.remark_type" universal scope - type
---"remark_schema.remark_enumeration_item" universal scope - enumeration item
+--"remark_schema.remark_type.WR1" universal scope - type where
+--"remark_schema.remark_type.IP1" universal scope - type informal proposition
+--"remark_schema.remark_type.wr:WR1" universal scope - type where, with prefix
+--"remark_schema.remark_type.ip:IP1" universal scope - type informal proposition, with prefix
+--"remark_schema.remark_type.remark_enumeration_item" universal scope - enumeration item
+--"remark_schema.remark_enumeration_item" universal scope - enumeration item, on the same level as the type
 --"remark_schema.remark_entity" universal scope - entity
 --"remark_schema.remark_entity.remark_attribute" universal scope - entity attribute
 --"remark_schema.remark_entity.remark_derived_attribute" universal scope - entity derived attribute
 --"remark_schema.remark_entity.remark_inverse_attribute" universal scope - entity inverse attribute
 --"remark_schema.remark_entity.remark_unique" universal scope - entity unique
---"remark_schema.remark_entity.remark_where" universal scope - entity where
+--"remark_schema.remark_entity.WR1" universal scope - entity where
+--"remark_schema.remark_entity.IP1" universal scope - entity informal proposition
+--"remark_schema.remark_entity.wr:WR1" universal scope - entity where, with prefix
+--"remark_schema.remark_entity.ip:IP1" universal scope - entity informal proposition, with prefix
 --"remark_schema.remark_subtype_constraint" universal scope - subtype constraint
 --"remark_schema.remark_function" universal scope - function
 --"remark_schema.remark_function.remark_parameter" universal scope - function parameter
 --"remark_schema.remark_function.remark_type" universal scope - function type
---"remark_schema.remark_function.remark_enumeration_item" universal scope - function enumeration item
+--"remark_schema.remark_function.remark_type.remark_enumeration_item" universal scope - function enumeration item
+--"remark_schema.remark_function.remark_enumeration_item" universal scope - function enumeration item, on the same level as the type
 --"remark_schema.remark_function.remark_constant" universal scope - function constant
 --"remark_schema.remark_function.remark_variable" universal scope - function variable
 --"remark_schema.remark_procedure" universal scope - procedure
 --"remark_schema.remark_procedure.remark_parameter" universal scope - procedure parameter
 --"remark_schema.remark_procedure.remark_type" universal scope - procedure type
---"remark_schema.remark_procedure.remark_enumeration_item" universal scope - procedure enumeration item
+--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" universal scope - procedure enumeration item
+--"remark_schema.remark_procedure.remark_enumeration_item" universal scope - procedure enumeration item, on the same level as the type
 --"remark_schema.remark_procedure.remark_constant" universal scope - procedure constant
 --"remark_schema.remark_procedure.remark_variable" universal scope - procedure variable
 --"remark_schema.remark_rule" universal scope - rule
 --"remark_schema.remark_rule.remark_type" universal scope - rule type
---"remark_schema.remark_rule.remark_enumeration_item" universal scope - rule enumeration item
+--"remark_schema.remark_rule.remark_type.remark_enumeration_item" universal scope - rule enumeration item
+--"remark_schema.remark_rule.remark_enumeration_item" universal scope - rule enumeration item, on the same level as the type
 --"remark_schema.remark_rule.remark_constant" universal scope - rule constant
 --"remark_schema.remark_rule.remark_variable" universal scope - rule variable
---"remark_schema.remark_rule.remark_where" universal scope - rule where
+--"remark_schema.remark_rule.WR1" universal scope - rule where
+--"remark_schema.remark_rule.IP1" universal scope - rule informal proposition
+--"remark_schema.remark_rule.wr:WR1" universal scope - rule where, with prefix
+--"remark_schema.remark_rule.ip:IP1" universal scope - rule informal proposition, with prefix

data/original/examples/syntax/remark_formatted.exp

@@ -3,6 +3,8 @@ CONSTANT
   remark_constant : STRING := 'xxx';
 END_CONSTANT;
 TYPE remark_type = ENUMERATION OF (remark_enumeration_item);
+  WHERE
+    WR1 : TRUE;
 END_TYPE;
 
 ENTITY remark_entity;
@@ -14,7 +16,7 @@ ENTITY remark_entity;
   UNIQUE
     remark_unique : remark_attribute;
   WHERE
-    remark_where : TRUE;
+    WR1 : TRUE;
 END_ENTITY;
 
 SUBTYPE_CONSTRAINT remark_subtype_constraint FOR remark_entity;
@@ -85,7 +87,7 @@ RULE remark_rule FOR (remark_entity);
   --"remark_query" rule query scope - rule query
   );
   WHERE
-    remark_where : TRUE;
+    WR1 : TRUE;
 END_RULE;
 END_SCHEMA;
 (*"remark_schema"
@@ -94,14 +96,29 @@ an embedded remark including the newline character; therefore, embedded remarks
 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_enumeration_item" schema scope - enumeration item
---"remark_schema.remark_enumeration_item" universal scope - enumeration item
+--"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
@@ -116,9 +133,18 @@ several physical lines.
 --"remark_schema.remark_entity.remark_unique" entity scope - entity unique
 --"remark_schema.remark_entity.remark_unique" schema scope - entity unique
 --"remark_schema.remark_entity.remark_unique" universal scope - entity unique
---"remark_schema.remark_entity.remark_where" entity scope - entity where
---"remark_schema.remark_entity.remark_where" schema scope - entity where
---"remark_schema.remark_entity.remark_where" universal scope - entity where
+--"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
@@ -129,9 +155,12 @@ several physical lines.
 --"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_enumeration_item" function scope - function enumeration item
---"remark_schema.remark_function.remark_enumeration_item" schema scope - function enumeration item
---"remark_schema.remark_function.remark_enumeration_item" universal scope - function enumeration item
+--"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
@@ -146,9 +175,12 @@ several physical lines.
 --"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_enumeration_item" procedure scope - procedure enumeration item
---"remark_schema.remark_procedure.remark_enumeration_item" schema scope - procedure enumeration item
---"remark_schema.remark_procedure.remark_enumeration_item" universal scope - procedure enumeration item
+--"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
@@ -160,15 +192,27 @@ several physical lines.
 --"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_enumeration_item" rule scope - rule enumeration item
---"remark_schema.remark_rule.remark_enumeration_item" schema scope - rule enumeration item
---"remark_schema.remark_rule.remark_enumeration_item" universal scope - rule enumeration item
+--"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.remark_where" rule scope - rule where
---"remark_schema.remark_rule.remark_where" schema scope - rule where
---"remark_schema.remark_rule.remark_where" universal scope - rule where
+--"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