Assertion list
paper lantern (subgroup of lantern ) → IsA
Results from Ascent++: 1
paper lantern → IsA → lantern 0.25