Assertion list for term "unlet".
Results from Ascent++: 1
property (aspect of landlord) → HasProperty → unlet 0.27