Assertion list for term "authenticated by said authentication server".
Results from Ascent++: 1
user (aspect of engine) → ReceivesAction → authenticated by said authentication server 0.25