Assertion list
status (aspect of device ) → HasProperty

Results from Ascent++: 15
statusHasProperty active 0.72
statusHasProperty unknown 0.66
statusHasProperty normal 0.38
statusHasProperty inconsistent 0.34
statusHasProperty valid 0.34
statusHasProperty open 0.32
statusHasProperty pending 0.32
statusHasProperty accessible 0.29
statusHasProperty awake 0.29
statusHasProperty busy 0.25
statusHasProperty clear 0.25
statusHasProperty complete 0.25
statusHasProperty important 0.25
statusHasProperty ok 0.25
statusHasProperty good 0.20