Assertion: boolean circuit | /r/HasProperty | generalization
Facets:
Source sentences:
text: Thus, a Boolean circuit can be regarded as a generalization that allows shared subformulas and multiple outputs.