Assertion list
record player (primary) → IsA
Results from Ascent++: 1
record player → IsA → device 0.25