Assertion: byte's bit | /r/HasProperty | remainder of dividing
Facets:
Source sentences:
text: For the low surrogate, take the low 10 bits (remainder of dividing by 0x400), then add 0xDC00, resulting in 0x0037 + 0xDC00 = 0xDC37.