Assertion list
potential burglar (subgroup of burglar ) → ReceivesAction
Results from Ascent++: 1
potential burglar → ReceivesAction → scared 0.81