If the guards of more than one clause hold, then a committed choice is made to one of the clauses, and execution proceedes with the subgoals B1, …, Bn of the chosen clause.
Ако стражар држи више од једне клаузуле, онда је починио избор направљен од једне клаузуле, и извршавање се наставља са subgoalsс  B1, …, Bn изабране клаузуле.