Ascent++ | occur in execution of a rewriting process

Assertion list for term "occur in execution of a rewriting process".

Results from Ascent++: 1

decrease → CapableOf → occur in execution of a rewriting process

0.27