Assertion list
smart meter (subgroup of meter ) → IsA
Results from Ascent++: 1
smart meter → IsA → the best thing 0.16