Assertion list
index (aspect of search engine ) → HasProperty
Results from Ascent++: 2
index → HasProperty → updatable 0.38
index → HasProperty → large 0.29