Assertion: decimal point | /r/HasSubgroup | extra decimal point
Facets:
Source sentences: