Assertion list
fret (primary) → HasA
Results from Ascent++: 3
fret → HasA → backlit screen 0.33
fret → HasA → a lcd display 0.25
fret → HasA → plenty of life 0.16