Ascent++ | treated as logical equivalent of all names

Assertion list for term "treated as logical equivalent of all names".

Results from Ascent++: 1

initial → ReceivesAction → treated as logical equivalent of all names

0.25