Assertion list for term "a precision design".
Results from Ascent++: 1
socket → HasA → a precision design 0.32