home elevator subgroup of elevator, 4 assertions