arch-gravity dam

Deductions

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