Assertion list for term "single socket".
Results from Ascent++: 1
lamp → HasA → single socket 0.25