Assertion: brush's size | /r/HasProperty | set in the tool options dialog
Facets:
Source sentences:
text: GIMP comes now with 56 brushes, different from each other, because the size, the ratio and the angle of every brush can be set in the tool options dialog.