SYSE.42:12 - Relations

A.15.7 and C.24 supply action choice and fixed-action call planning. SYSE.26/.27 supply supported interaction and compatibility; SYSE.28 supplies qualified controls. SYSE.43 can supply relevant memory, while SYSE.47 constructs the procedure that invokes this operation and consumes its result. SYSE.46 tests the resulting configuration. A.15.9 and SYSE.9 obtain missing subject results without transferring responsibility for their qualified use.