<div dir="ltr">Is there a reason that judgments in Redex don't allow multiple ellipses after a premise? I have a case where I have a list of lists of items, and I want to check that a certain property holds on each item. Here's a very simplified example:<br>

<br>(define-language L)<br><br>(define-judgment-form L<br>  #:mode (is-number I)<br>  #:contract (is-number any)<br>  [(side-condition ,(number? (term any)))<br>   ----------------<br>   (is-number any)])<br><br>(define-judgment-form L<br>

  #:mode (nested-number-list I)<br>  #:contract (nested-number-list any)<br>  [(where ((any_item ...) ...) any_list)<br>   (is-number any_item) ... ...<br>   ------------------------<br>   (nested-number-list any_list)])<br>

<br>(judgment-holds (nested-number-list ((1 2 3) (4 5 6) (7 8 9))))<br></div>