Assertion list
furnace filter (subgroup of filter ) → HasProperty
Results from Ascent++: 2
furnace filter → HasProperty → clean 0.49
furnace filter → HasProperty → essential 0.42