Assertion list
vcr (primary) → IsA
Results from Ascent++: 1
vcr → IsA → electromechanical device 0.25