Assertion: device's number | /r/HasProperty | multiplied by rounded
Facets:
Source sentences:
text: The number following “PC” is simply the MHz speed multiplied by eight and then rounded.