Assertion list for term "revisable".

Results from Ascent++: 2
order HasPropertyrevisable 0.53
logic HasPropertyrevisable 0.30