Assertion: butterfly's number | /r/HasProperty | rounded-off values
Facets:
Source sentences:
text: This was enough to tell me what had happened: the numbers that I had typed in were not the exact original numbers, but were the rounded-off values that had appeared in the original printout.