Step 1: Check the Assertion using the Euclidean algorithm instead of prime factors.
Dividing $36m^2$ by $18m$ gives $36m^2 = 2m \times 18m$ with remainder $0$. Since the division leaves no remainder, $18m$ already divides $36m^2$ exactly, so $\text{H.C.F.}(36m^2, 18m) = 18m$. Assertion (A) is true.
Step 2: Check the Reason using a general rule.
For any two positive quantities $x \le y$, the H.C.F. must divide $x$, so it can never exceed $x$; this means $\text{H.C.F.}(x,y) \le x$ always. So Reason (R) is a true general statement.
Step 3: Decide whether R actually explains A.
Reason (R) only gives an upper limit on the H.C.F.; it does not tell us why the H.C.F. turns out to be exactly $18m$ rather than some smaller common factor. The real reason is the exact divisibility shown in Step 1, so R does not explain A.
Step 4: State the final match.
Both Assertion (A) and Reason (R) are true, but Reason (R) is not the correct explanation of Assertion (A).
\[ \boxed{\text{Both A and R are true, but R is not the correct explanation of A.}} \]