断言Redex中不存在用于判断的输出

Question

我在PLT Redex中定义了一个关系，该关系需要两个输入和两个输出。

(define-judgment-form
  L
  #:mode (Meet I I O)

 [---------------------------
  (Meet xpr xpr xpr)]
)

在另一种判断中，我想附带一个条件，即两个给定的输入都没有输出。我试过这样称呼为：

(side-condition (empty? (judgment-holds (Meet xpr1 xpr2 xpr3) xpr3)))

即从判断的前提来看，xpr1和xpr2是绑定的输入，而xpr3是输出的元变量。

但出现以下错误：

term: judgment forms with output mode ("O") positions disallowed

有没有办法表达这种附带条件，即没有为特定的一组输入定义任何输出来进行判断？