Assertion list
divan (primary) → HasA

Results from Ascent++: 1
divanHasA drawer 0.25