Assertion list
yes (primary) → DefinedAs

Results from Ascent++: 1
yesDefinedAs planned dam 0.25