Assertion list
accelerometer (primary) → IsA
Results from Ascent++: 2
accelerometer → IsA → instrument 0.50
accelerometer → IsA → transducer 0.25