Assertion: obstacle | /r/HasProperty | thecondition
Facets:
Source sentences:
text: Notice how the solution stays superharmonic (concave down in 1-D), and matches derivatives with the obstacle (which is thecondition)