Assertion list
value (aspect of measure ) → HasA
Results from Ascent++: 2
value → HasA → same amount of labour 0.25
value → HasA → the year 0.25