Assertion list for term "check seal".
Results from Ascent++: 1
custom → CapableOf → check seal 0.25