Assertion list
smoke detector (subgroup of detector ) → HasProperty
Results from Ascent++: 4
smoke detector → HasProperty → powered 0.57
smoke detector → HasProperty → audible 0.25
smoke detector → HasProperty → effective 0.21
smoke detector → HasProperty → old 0.16