Assertion list
royal palace (subgroup of palace ) → AtLocation

Results from Ascent++: 1
royal palaceAtLocation drottningholm palace 0.25