Assertion list
mercury (aspect of lamp ) → HasA
Results from Ascent++: 1
mercury → HasA → lamp 0.82