Assertion: prototype | /r/HasSubgroup | fpga prototype
Facets:
Source sentences: