Hola,
está casi al final de la Introducción en el manual:
Una condición puede ser una relación binaria (por ejemplo x == 0) entre dos expresiones o una lista de estas relaciones, entre paréntesis y separadas por comas, por ejemplo ( 0 < x , x < 10 ). Las relaciones binarias son las usuales de igualdad y orden (== , /= , < , > , <= , >=). Notar que la relación de igualdad se indica con ==.
En el caso de tener una lista de relaciones, el resultado de su evaluación es la conjunción lógica (∧) entre todas ellas.
Gracias por preguntar, creo que en la próxima edición del manual debemos resaltarlo.
En ese caso que preguntas es: 1 (si resto(secuencia) == [ ] , primero(secuencia) >= 0)