Assertion list
solar cell (primary) → AtLocation
Results from Ascent++: 1
solar cell → AtLocation → the dark 0.28