Figure 5. Logic specification for derivation of reach condition suitability