A requirement document should contain the domain ontology, artifacts, actions, states, typical scenarios, and atypical scenarios.
See Section 2.2 on the analysis phase located on page .