pub const LAW_CLASS_BOUNDED_DOMAIN: &str = "bounded-domain";
Marker class tag: sampled-domain disjunction premises bound the statement to the finite sample domain.