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

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

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

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

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

[REFS[
- [5] [CITE[HTML4 Testable Assertions: Prologue]]
([TIME[2003-01-23 17:00:50 +09:00]])
<https://www.w3.org/MarkUp/Test/HTML401/current/assertions/prologue.html>
]REFS]