Assertion list
delft (primary) → HasProperty
Results from Ascent++: 2
delft → HasProperty → small 0.22
delft → HasProperty → lovely 0.16