['entailment']
information valuable in itself about how completely a program has been implemented.
מידע בעל ערך בפני עצמו אודות כמה תוכנית יושמה במלואה.
A program is only as valuable as the information it contains.
ערכו של התוכנית תלוי אך ורק במידע שהיא מכילה.