Assertion: cpu's instruction | /r/CapableOf | perform same function
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.