Assertion list
travel backpack (subgroup of backpack ) → HasProperty
Results from Ascent++: 1
travel backpack → HasProperty → comfortable 0.16