Assertion list
time travel (subgroup of travel ) → HasProperty
Results from Ascent++: 2
time travel → HasProperty → possible 0.68
time travel → HasProperty → impossible 0.16