03 Third Order/Path Reads/Applied Read

Applied Read

Applied Read names local use of a path read in a specific case.

Trace

Read

Applied Read becomes recognisable where a path read can be tested within a specific local condition.

Structural Role

Applied Read is a third-order local-use role. It tests a path read inside a bounded condition without promoting that local use into root structure.

Opens