Ascent++ | protected by a tree preservation order

Assertion list for term "protected by a tree preservation order".

Results from Ascent++: 1

tree → ReceivesAction → protected by a tree preservation order

0.47