During the call on 21/Oct/2024, we agreed that in such cases "count" is considered a different variable for the constraint and the refinement. (note - we agreed that the majority of examples appear to make "no sense", but considering they are nodes in a graph, a grammatical checker/validator will either have to allow or revoke them for correctness and the evaluator will need to have consistent behaviour).
Another scenario pops up that is not in the examples and could be considered ambiguous:
This raises the question: Is this "count" separate? (Print three times / distribute three times?) or is it for a total for the combination of printing and distribution?
Based on examples 26 and unravelling in 27, I propose this is interpreted the same way and considered as separate for each element (i.e. three times, each action), and the interpretation is of "grouping, because of the same refinement" and not "grouped, refinement applied to group".
I've been discussing refinements like this (modified from Krishnamurthy's emails in May):
During the call on 21/Oct/2024, we agreed that in such cases "count" is considered a different variable for the constraint and the refinement. (note - we agreed that the majority of examples appear to make "no sense", but considering they are nodes in a graph, a grammatical checker/validator will either have to allow or revoke them for correctness and the evaluator will need to have consistent behaviour).
Another scenario pops up that is not in the examples and could be considered ambiguous:
This raises the question: Is this "count" separate? (Print three times / distribute three times?) or is it for a total for the combination of printing and distribution?
Based on examples 26 and unravelling in 27, I propose this is interpreted the same way and considered as separate for each element (i.e. three times, each action), and the interpretation is of "grouping, because of the same refinement" and not "grouped, refinement applied to group".