With the Declarative Network display, you can quickly access the Declare Expression rules and the properties that it references.
Each rectangle in the display represents a property. An F in a box or circle represents a functional relationship among properties, created by a Declare Expression rule. Properties on the left and above are dependent on others to the right and below, indicated by lines.
From the Navigation list, you can select Cascade Tree as the style to present dependencies with an arrow that indicates forward or backward dependencies. (These directions do not indicate forward or backward chaining.) You can select Basic Tree as the style to see more of a large or complex dependency network.
The display shows the structure of the relationships but not the results of specific computations. You can unit test Declare Expression rules by clicking Run ZZZZZ, where ZZZZZ is the name or description of the target property, and entering values.