Assertion: machine | /r/HasAspect | unique d.n.
Facets:
Source sentences:
text: Note that every machine \(T_n\) has a unique D.N.