Assertion list for term "determined by the assumptions of the speculator".
Results from Ascent++: 1
width → ReceivesAction → determined by the assumptions of the speculator 0.28