[temp.constr.op] Reword comment in example added for US111 as suggested by Casey

Author: Dawn Perchik

source/templates.tex

@@ -1570,15 +1570,15 @@
 
   template <class T> int f1(T) requires (!sad<T>);
   template <class T> int f1(T) requires (!sad<T>) && true;
-  int i1 = f1(42);      // ambiguous, \tcode{!sad<T>} constraints are not formed from the same \grammarterm{expression}
+  int i1 = f1(42);      // ambiguous, \tcode{!sad<T>} atomic constraint expressions are not formed from the same \grammarterm{expression}
 
   template <class T> concept not_sad = !sad<T>;
   template <class T> int f2(T) requires not_sad<T>;
   template <class T> int f2(T) requires not_sad<T> && true;
-  int i2 = f2(42);      // OK, \tcode{!sad<T>} constraints both come from \tcode{not_sad}
+  int i2 = f2(42);      // OK, \tcode{!sad<T>} atomic constraint expressions both come from \tcode{not_sad}
 
   template <class T> int f3(T) requires (!sad<typename T::type>);
-  int i3 = f3(42);      // error, constraint not satisfied due to substitution failure
+  int i3 = f3(42);      // error, associated constraints not satisfied due to substitution failure
 
   template <class T> concept sad_nested_type = sad<typename T::type>;
   template <class T> int f4(T) requires (!sad_nested_type<T>);