Assertion: machine | /r/HasProperty | constructed
Facets:
Source sentences:
text: We now define a second machine \(T_D\) which relies on the assumption that the machine \(T_H\) can be constructed.