Assertion list
royal palace (subgroup of palace ) → HasA
Results from Ascent++: 1
royal palace → HasA → the armory 0.34