Assertion: compact treadmill | /r/HasProperty | ideal solution
Facets:
value: to this problem
type: TRANSITIVE-OBJECT
Source sentences:
text: Compact treadmills are an ideal solution to this problem.