Assertion list
paperweight (primary) → HasA
Results from Ascent++: 2
paperweight → HasA → a light weight glass mixture 0.36
paperweight → HasA → rice-grain-sized fragment of lu… 0.25