Assertion list
calculator (primary) → IsA
Results from Ascent++: 3
calculator → IsA → device 0.42
calculator → IsA → machine 0.32
calculator → IsA → a computer program 0.31