They may be :
A user-level facility description,
A detailed specification of expected system behavior,
A general system property,
A specific constraint on the system,Information on how to carry out some computation,
A constraint on the development of the system.