.uk

Deductions

• top-level domain is for example .uk ⇐ (.uk is a top-level domain), (is a is inverse of is for example)
• .uk is a top-level domain ⇐ (country code top-level domain is subclass of top-level domain), (.uk is a country code top-level domain)
• country code top-level domain is for example .uk ⇐ (.uk is a country code top-level domain), (is a is inverse of is for example)