     <button type="button" class="btn btn-dark float-right" title="Edit this Question" style="margin-left:10px; margin-right:10px;" onclick="edit('ch10ex16');" href="#" id="buttonsolve">
        <i id="ch10ex16" class="far fa-edit" style="color:white"></i>
        </button>
        </a>
    </div>
    <div class="card-body">
        <p class="card-text">

Up to now we have assumed that the
plans we create always make sure that an action’s preconditions are
satisfied. Let us now investigate what propositio