Assertion list
electron microscope (subgroup of microscope ) → HasProperty
Results from Ascent++: 1
electron microscope → HasProperty → expensive 0.16