Assertion list
id (primary) → DefinedAs
Results from Ascent++: 1
id → DefinedAs → each application 0.25