Assertion: texas redheaded centipede | /r/HasProperty | large
Facets:
value: very
type: DEGREE
Source sentences:
text: Texas redheaded centipedes, also known as giant desert centipedes, are very large, averaging about 6.5 inches long, but range in size up to 8 or 9 inches long.