Assumptions & Constraints
Semantic Functional content