Assertion list
lightweight sleeping bag (subgroup of sleeping bag ) → HasProperty
Results from Ascent++: 1
lightweight sleeping bag → HasProperty → perfect 0.59