Assertion: detector's output | /r/HasProperty | uand dfeed
Facets:
Source sentences:
text: Inputs are R and V while the outputs Uand Dfeed to a charge pump.