28. The _______________ of a formal specification language is often based on a syntax that is derived from standard set theory notation and predicate calculus ? September 13, 2025 by Admin A. semantic domain B. syntactic domain C. sequence D. set ✅ The correct answer is option B.