Assertion list
discipline (primary) → AtLocation
Results from Ascent++: 1
discipline → AtLocation → technology 0.24