Assertion list for term "be a memory address".

Results from Ascent++: 2
value (aspect of function) CapableOfbe a memory address 0.29
value (aspect of variable) CapableOfbe a memory address 0.25