Assertion list
concentric castle (subgroup of castle ) → IsA
Results from Ascent++: 1
concentric castle → IsA → castle 0.68