Assertion list
corner (primary) → DefinedAs
Results from Ascent++: 1
corner → DefinedAs → share a face 0.27