national anthem

Deductions

• type is for example national anthem ⇐ (national anthem is a type), (is a is inverse of is for example)
• national anthem is a type ⇐ (song type is subclass of type), (national anthem is a song type)
• song type is for example national anthem ⇐ (national anthem is a song type), (is a is inverse of is for example)
• national anthem is for example God Save the King ⇐ (God Save the King is a national anthem), (is a is inverse of is for example)
• national anthem is for example The Prayer of Russians ⇐ (The Prayer of Russians is a national anthem), (is a is inverse of is for example)
• national anthem is for example national anthem of South Africa ⇐ (national anthem of South Africa is a national anthem), (is a is inverse of is for example)