[1] 事実の文は、
助動詞の含まれる要件の文ではなく、
アルゴリズムを構成する命令形の文でもない文です。
[2] つまり、普通の英語の現在形の文です。
[3]
事実の文は、それ単独では意味を持たず、
正しいかもしれませんし、
もしかすると間違っているかもしれません。
[4]
事実の文の形を採っていても、
他の助動詞を含む文から参照されていれば、
全体として適合性に関わる要件を表現していることになります。
助動詞
[6]
低品質の仕様書は、事実の文としてのみ要件を記述していることがあります
>>5。
助動詞