Assertion list
trek (primary) → IsA
Results from Ascent++: 2
trek → IsA → journey 0.24
trek → IsA → beautiful round trip 0.16