Assertion: thunderbolt's port | /r/HasProperty | single hdmi port
Facets:
Source sentences:
text: The other ports include a single HDMI port, Ethernet port, SD card slot, and an Audio Jack.