Ascent++ | covered by a tree preservation order

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

Results from Ascent++: 1

tree → ReceivesAction → covered by a tree preservation order

0.46