[Image] [Image] [Image] [Image]

Semantics

LHS connect

1. longest path wins principle
2. Resolving conflict between longest path and variable overriding
3. LHS elements

RHS evaluation

1. Values
2. Local inheritance
3. Global inheritance
4. Evaluable paths
5. Testing all possible combinations
6. Multi-element RHS
7. Undefined values: '!_UNDEFINED_!' can help in testing the theories (perhaps '!_UNDEFINED:global path|local path_!' ?)

Variables

1. Declared variables
2. One-atom value domain
3. #var $a: a. (now doesn't work?)
4. Zdatr 2.0 specific non-standard option -a for hierarchy `atom beats beats declared variable beats on the fly variable'.
5. Using other variables when defining value domains:
   #var $a: $b - $c.
   #var $d: $e + $f.
   
6. On-the-fly variables at different positions
7. Different variable names in the same node