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 )