Assertion list
metal foil (subgroup of foil ) → HasA
Results from Ascent++: 1
metal foil → HasA → thickness 0.68