Assertion: certificate | /r/HasAspect | a size of o((log n)2bits
Facets:
Source sentences:
text: Since each value has at most log n bits, this also demonstrates that the certificate has a size of O((log n)2) bits.