Assertion list
cabinet (primary) → DefinedAs

Results from Ascent++: 1
cabinetDefinedAs type 0.25