Split proposition name, and saved in a hash list.