Assertion: boolean algebra | /r/CapableOf | divide mantissa
Facets:
value: to get the new mantissa
type: PURPOSE
Source sentences:
text: Boolean logics divide the mantissas to get the new mantissa