Assertion list
electronic device (primary) → AtLocation
Results from Ascent++: 1
electronic device → AtLocation → closed configuration 0.25