Assertion list
smart meter (subgroup of meter ) → HasProperty
Results from Ascent++: 3
smart meter → HasProperty → safe 0.51
smart meter → HasProperty → free 0.25
smart meter → HasProperty → accurate 0.23