Assertion list
base (aspect of lamp ) → HasA
Results from Ascent++: 3
base → HasA → gilt finish 0.25
base → HasA → a usb port 0.16
base → HasA → good weight 0.16