The _______________ of a formal specification language is often based on a syntax that is derived from standard set theory notation and predicate calculus ?
A. semantic domain
B. syntactic domain
C. sequence
D. set