Assertion list
caliper (primary) → IsA
Results from Ascent++: 2
caliper → IsA → device 0.52
caliper → IsA → instrument 0.33