Assertion list
house (aspect of thief ) → HasA
Results from Ascent++: 1
house → HasA → alarm 0.29