x1 (number) is the quantity of specimens in the domain of discourse that satisfy the property x2
Predicate equivalent of da. It enables rendering a quantifier's scope as a nested bridi level, and to terminate this scope explicitly by closing the sub-bridi. Synonymous with kaidza.