 id="ch8ex13" class="fas fa-thumbs-up" style="color:white"></i></button>
    </div>
    <div class="card-body">
        <p class="card-text">

Complete the following exercises
about logical sentences:<br />

1.  Translate into *good, natural* English (no $x$s or $y$s!):<br />

$$
{\forall\,x,y,l\;\;} SpeaksLanguage(x, l) \land SpeaksLanguage(y, l)
    \implies Understands(x, y) \land Understands(y,x).<br />
$$

2.  Explain why this sentence is entailed by the sentence<br />

$$
{\forall\,x,y,l\;\;} SpeaksLa