Assertion list
glue trap (subgroup of trap ) → HasProperty
Results from Ascent++: 2
glue trap → HasProperty → effective 0.68
glue trap → HasProperty → inhumane 0.42