Assertion list for term "given by the value of racknumber".
Results from Ascent++: 1
number (aspect of variable) → ReceivesAction → given by the value of racknumber 0.28