Assertion list
solar panel (primary) → AtLocation
Results from Ascent++: 3
solar panel → AtLocation → space 0.40
solar panel → AtLocation → full sun 0.30
solar panel → AtLocation → the end of the building 0.25