Assertion list
new crown (subgroup of crown ) → IsA
Results from Ascent++: 1
new crown → IsA → perfect fit 0.16