Assertion: national flag's color | /r/DefinedAs | number
Facets:
Source sentences:
text: In 2001, the Texas legislature specified that the colors of the Texas flag should be "(1) the same colors used in the United States flag; and (2) defined as numbers 193 (red) and 281 (dark blue) of the Pantone Matching System.