Assertion: boolean algebra | /r/CapableOf | add new mantissas
Facets:
value: to get a new mantissa
type: PURPOSE
Source sentences:
text: Boolean logics add the new mantissas to get a new mantissa for the sum.