Assertion list for term "rewritable".
Results from Ascent++: 2
disc → HasProperty → rewritable 0.34
tag → HasProperty → rewritable 0.27