Assertion list
calorimeter (primary) → IsA
Results from Ascent++: 1
calorimeter → IsA → device 0.68