Assertion list
super glue (subgroup of glue ) → HasProperty
Results from Ascent++: 1
super glue → HasProperty → strong 0.59