Assertion list

slot machine (aspect of casino ) → AtLocation