convert rule. list -> Integer: list length