Change dfn to use given rather than with

Author: lukewarlow

dom.bs

@@ -6478,8 +6478,8 @@ optional boolean <var>validate</var> (default true):
 </ol>
 
 <p>To <dfn>verify and set attribute value</dfn>
-{{TrustedType}} or string <var>value</var> for an <a>attribute</a> <var>attribute</var>, with
-<a for=/>element</a> <var>element</var>:
+{{TrustedType}} or string <var>value</var> for an <a>attribute</a> <var>attribute</var>, given an
+<a for=/>Element</a> <var>element</var>:
 
 <ol>
  <li><p>Let <var>verifiedValue</var> be the result of calling