##assertion##
[Wikipedia 2014-11-03] (computing) A predicate (a true–false statement) placed in a program to indicate that the developer thinks that the predicate is always true at that place.
[EE] A claim or statement of "fact".
[GenTech] A programmatic statement of something being true (or untrue) that was derived from a source fragment or the result of prior assertions.
[BG] A claim or a statement of fact. The fact might be the existence of a Person or the truth of a name Attribute; some claims may be justified with evidence. In some Models an Assertion is an Entity, and its computer representations are with Assertion Records. In other Models an Assertion is a Relationship between an Entity with the fact and possibly an Entity with the Evidence. Computer representations based on these models implement Assertions as References between Records.
[ODO 2014-09-28] A confident and forceful statement of fact or belief.