Annotated Functional Specification Example