Assertion list
thin foil (subgroup of foil ) → HasProperty
Results from Ascent++: 1
thin foil → HasProperty → fragile 0.25