Assertion list for term "at least one layer".
Results from Ascent++: 1
golf ball → HasA → at least one layer 0.44