Assertion list
hand smoke (subgroup of smoke ) → IsA
Results from Ascent++: 1
hand smoke → IsA → invisible residue 0.68