Assertion list
sequence diagram (subgroup of diagram ) → IsA

Results from Ascent++: 1
sequence diagramIsA an interaction diagram 0.68