Assertion list for term "value semantics".

Results from Ascent++: 1
type (aspect of variable) HasAvalue semantics 0.28