matching_function:number/1 maps 3 atoms to 3 numbers