Assertion: scheme's number | /r/HasProperty | minimal
Facets:
Source sentences:
text: Alexander Ostrowski proved in 1954 that the number of additions required is minimal.
text: Victor Pan proved in 1966 that the number of multiplications is minimal.