[temp.class.spec.match] Strengthen wording for matching partial specializations

Author: sdkrystian

source/templates.tex

@@ -3393,11 +3393,13 @@
 \end{itemize}
 
 \pnum
-A partial specialization matches a given actual template argument
-list if the template arguments of the partial specialization can be
-deduced from the actual template argument list\iref{temp.deduct},
-and the deduced template arguments satisfy the associated constraints
+A class template partial specialization \defnx{matches}{specialization!matches}
+the template argument list of a class template specialization \tcode{A} if, given the type \tcode{P}
+formed by the \grammarterm{simple-template-id} of the partial specialization,
+template argument deduction\iref{temp.deduct.type} for \tcode{P} from \tcode{A} would succeed
+and the deduced template arguments would satisfy the associated constraints
 of the partial specialization, if any\iref{temp.constr.decl}.
+
 \begin{example}
 \begin{codeblock}
 template<class T1, class T2, int I> class A             { };    // \#1