Assertion list
new employee (subgroup of employee ) → AtLocation
Results from Ascent++: 2
new employee → AtLocation → category 0.25
new employee → AtLocation → h-1b status 0.25