Assertion list for term "leftmost".
Results from Ascent++: 2
bit → ReceivesAction → leftmost 0.25
byte → HasProperty → the leftmost 0.25