Assertion: computer science | /r/HasSubgroup | theoretical computer science
Facets:
Source sentences: