[1] 事実の文statement of factは、 助動詞の含まれる要件の文ではなく、 アルゴリズムを構成する命令形の文でもない文です。

[2] つまり、普通の英語の現在形の文です。

[3] 事実の文は、それ単独では意味を持たず、 正しいかもしれませんし、 もしかすると間違っているかもしれません。

[4] 事実の文の形を採っていても、 他の助動詞を含む文から参照されていれば、 全体として適合性に関わる要件を表現していることになります。 助動詞

[6] 低品質の仕様書は、事実の文としてのみ要件を記述していることがあります >>5。 助動詞