Assertion list
computer network (primary) → AtLocation
Results from Ascent++: 1
computer network → AtLocation → violation of the 0.25