Assertion list for term "a 1/4thickness".
Results from Ascent++: 1
tile → HasA → a 1/4thickness 0.20