Assertion list
time machine (primary) → IsA
Results from Ascent++: 1
time machine → IsA → book 0.21