.us

Deductions

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