Assertion: overlap | /r/HasProperty | given by following formula
Facets:
Source sentences:
text: The overlap is given by the following formula.