Fig. 4

Reasoner output (highlighted in yellow) on the basis of the given input parameters (illustrating the hard-restraint scenario)