Assertion list
head (aspect of knight ) → AtLocation
Results from Ascent++: 1
head → AtLocation → dover castle 0.25