protons are a kind of subatomic particle
alpha_particle is subatomic_particle. subatomic_particle is spatial_thing. subatomic_particle is not spatial_thing. alpha_particle is not subatomic_particle. beta_particle is subatomic_particle. subatomic_particle is microscopic_object. beta_particle is not subatomic_particle. subatomic_particle is not microscopic_object. protons is component_of_atoms. hydrogen_ion is proton.