Assertion list
laptop screen (subgroup of screen ) → CapableOf
Results from Ascent++: 3
laptop screen → CapableOf → go black 0.59
laptop screen → CapableOf → match the screen 0.47
laptop screen → CapableOf → go red 0.23