The combinators.short-circuit.smart vocabulary is similar to combinators.short-circuit except the combinators here infer the number of inputs that the sequence of quotations takes.

Generalized AND:

&& ( quots -- quot )

Generalized OR:

|| ( quots -- quot )