Fumioさん
回答ありがとうございます。

＞「評価」するというのは、ブール(論理)値つまり「Boolean型」のデータに「変換」することを意味します

なるほど、分かりました。
if(a_mc)というのは、if(a_mc==true)ではなく、if(Boolean(a_mc)==true)、のことなのですね。
試してみましたが、なるほど、結果が一致しました。
traceの結果も、変換された「特別な(文字列)表現」ということ、勉強になりました。

モヤモヤがスッキリしました（*^-^*）
ご回答いただいたみなさん、本当にありがとうございました。

----------------
ｃａｎｃａｎ＠さいたま