Assertion list
update (primary) → IsA
Results from Ascent++: 2
update → IsA → information 0.38
update → IsA → prepared using information 0.34