Assertion list for term "stored in the fixed-widthproperty".
Results from Ascent++: 1
value (aspect of function) → ReceivesAction → stored in the fixed-widthproperty 0.25