Calculation

Calculation block is used to claim that the value of a property of a system can be computed from the values of related properties of other objects.

The side claim provides a rule to show how the value b of property Q(X, b, E) of system X  can be calculated from values a1 to ai of other objects, typically those that make up X.