Assertion list
scimitar (primary) → HasA
Results from Ascent++: 1
scimitar → HasA → following properties 0.25