Assertion list
characteristic (aspect of engine ) → AtLocation
Results from Ascent++: 1
characteristic → AtLocation → source ports 0.25