Proposed resolution:

This wording is relative to N4861.

1. Modify [res.on.requirements] as indicated:

   -1- A sequence Args of template arguments is said to model a concept C if:

   1. (1.1) — Args satisfies C ([temp.constr.decl]);

   2. (1.2) — andArgs meets all semantic requirements (if any) given in the specification of C; and

   3. (1.3) — every concept found to be satisfied as part of the satisfaction determination above is also modeled.

[ 2020-04-25 Issue Prioritization ]

Priority to 3 after reflector discussion. There was a temptation to resolve this as P0, but concerns were expressed that the "satisfied as part of the satisfaction" part was a bit confusing.

It has been pointed out both on the LWG reflector and as editorial issue 3912 that the definition of "models" added in P2101R0 is not a model of clarity when a concept is defined in terms of other concepts.