Assertion list
splint (primary) → IsA

Results from Ascent++: 1
splintIsA device 0.40