 l) \land SpeaksLanguage(y, l)
    \implies Understands(x, y).<br>
$$

3.  Translate into first-order logic the following sentences:<br>

    1.  Understanding leads to friendship.<br>

    2.  Friendship is transitive.<br>

    Remember to define all predicates, functions, and constants you use.
</p>
    </div>
</div>
<br>
<div class="card">
    <div class="card-header p-2">
        <a href="#" class="p-2">Community Solution</a>
                <a class="reqcomm" id="reqcommus" href="#">
                <b