create implication looking_at_phone -> phone
create implication rotary_phone -> phone
create implication flip_phone -> cellphone
If someone is looking at a phone, there must be a phone for them to be looking at, similar to how looking at mirror implicates mirror.
The other two are subsets.