Examine one of the failing top-down derivations of the query.
  • yes ← [accepted(laura)].
    yes ← [returning(laura), goodStanding(laura), clearBalance(laura).
    yes ← [goodStanding(laura), clearBalance(laura).
    yes ← [clearBalance(laura).
    no choice, fail

Valid HTML 4.0 Transitional