Assertion: circuit's r | /r/HasProperty | a r b
Facets:
Source sentences:
text: R c R a R b {
text: R a b = R a R b + R b R c
text: = R a R b ( R a R b + R