disjunctive_domain.st 354 Bytes