Assertion list for term "a6".
Results from Ascent++: 2
size → HasProperty → a6 0.46
postcard → HasProperty → a6 0.34