Assertion list
glue trap (subgroup of trap ) → CapableOf
Results from Ascent++: 1
glue trap → CapableOf → catch snake 0.22