Implicate ray_gun -> weapon

create implication ray_gun -> weapon

Reason: the former is a type of the latter.

Done