Assertion list for term "representable".

Results from Ascent++: 3
value (aspect of function) HasPropertyrepresentable 0.48
value (aspect of variable) HasPropertyrepresentable 0.28
value (aspect of expression) HasPropertyrepresentable 0.25