Assertion list
straight line (primary) → HasA

Results from Ascent++: 6
straight lineHasA length 0.41
straight lineHasA same uniform line width 0.41
straight lineHasA slope 0.36
straight lineHasA three playing pieces 0.28
straight lineHasA two end points 0.28
straight lineHasA at least two reference points 0.25