Assertion list
provision (primary) → DefinedAs
Results from Ascent++: 3
provision → DefinedAs → continuation 0.36
provision → DefinedAs → restatement 0.34
provision → DefinedAs → asterisk 0.34