Assertion list
value (aspect of asset ) → HasA
Results from Ascent++: 1
value → HasA → different meanings 0.25