 between a variable and its value. For instance, we wrote
${WA}{red}$ to mean that Western Australia is colored
red. Representing this in first-order logic, we must write more
verbosely ${ColorOf}({WA}){red}$. What incorrect
inference could be drawn if we wrote sentences such as
${WA}{red}$ directly as logical assertions?
</p>
    </div>
</div>

<p><br /></p>

<div class="card">
    <div class="card-header p-2">
        <a href="ex_26/" class="p-2">Exercise 26 </a>
        <button type="button" class="btn b