Assertion: lepton | /r/CapableOf | encode an ac coefficient
Facets:
Source sentences:
text: To encode an AC coefficient, first Lepton writes how long that coefficient is in binary representation, by using unary.