Hoover Dam
Deductions
- arch dam is for example Hoover Dam ⇐ (Hoover Dam is a arch dam), (is a is inverse of is for example)
- Hoover Dam is a arch dam ⇐ (arch-gravity dam is subclass of arch dam), (Hoover Dam is a arch-gravity dam)
- arch-gravity dam is for example Hoover Dam ⇐ (Hoover Dam is a arch-gravity dam), (is a is inverse of is for example)