Assertion list
toy (primary) → IsA
Results from Ascent++: 2
toy → IsA → device 0.47
toy → IsA → object 0.41