Assertion list
electron (aspect of metal ) → HasProperty
Results from Ascent++: 2
electron → HasProperty → light 0.25
electron → HasProperty → smaller 0.25