Assertion: controller output | /r/HasProperty | given
Facets:
Source sentences:
text: The controller output is given by