Hüperonüümid:
keeletarind 1(n), tarind 2(n)
tõend 3(n)

keeletarind, mis spetsifitseerib teatud nõutava oleku või teatud tingimuse, mis peab programmi teatud punktis olema selle täitmisel rahuldatud

ILI-1.5 relation(s)

eq_has_holonym

PWN-3.0 relation(s)

eq_has_holonym
affirmation 3(n), assertion 2(n), statement 7(n) the act of affirming or asserting or stating something
Hüponüümid:
silmusetõend 1(n)