B.1.6:3 - Optional Gamma_work Notation
Gamma_work is optional notation for a recovered WorkResourceAggregation@Context.
Gamma_work(workResourceAggregationRecord, resourceBasis, aggregationPolicy)
-> aggregationResultRef, aggregationResultEpistemeRef
The notation applies only after the resource Characteristics, C.16 measurement Work and result epistemes, dated Work set, every A.15.1 Work-part relation used by the aggregation, any C.27.TA overlap fact used by it, any separately current non-Work carrier identity and PhaseOf relation, accounting boundary and time window, aggregation policy, and dated aggregation Work have been named. The notation then summarizes that recovered aggregation record.