Assertion list
lace (primary) → IsA
Results from Ascent++: 2
lace → IsA → fabric 0.48
lace → IsA → the piece of fabric 0.33