Assertion: treadmill | /r/HasProperty | colbert
Facets:
Source sentences:
text: The name for the treadmill (COLBERT) came about due to a naming contest that NASA held for what became the Tranquility module.