Assertion list
house (aspect of thief ) → AtLocation
Results from Ascent++: 1
house → AtLocation → the principality 0.25