Judgment judgment form

Synonymous with an n-place relation. For a unary relation/Predicate, a Judgment form is usually written as $J\ -$ or $-\ J$, with $-$ being a placeholder for some value drawn from the domain of the predicate.