Assertion: tv | /r/HasAspect | atsc
Facets:
Source sentences:
text: All TVs made after 2007 should have an ATSC (HDTV tuner) already built-in.