The documentation should be concise, clear, fluent text should be accurate, unambiguous.

FOR read-only cursors, make the cursor unambiguous by using the FOR read only clause.

When designing with formal approach, the consistent, accurate, concise and unambiguous specification can be obtained for the community health service system.