Assertion: cpu's function | /r/CapableOf | yield same set of results
Facets:
Source sentences:
text: Do the following Mic-1 instructions perform the same function (i.e. yield the same set of results): a<-a+a; if n then goto 0; a<-lshift(a); if n then goto 0; 17.