Assertion list
coffin (primary) → IsA
Results from Ascent++: 1
coffin → IsA → box 0.40