Assertion: substitution | /r/HasProperty | designated by replacement
Facets:
value: inside "p(x)"
type: LOCATION
Source sentences:
text: so that substitution for X can be designated by replacement inside "P(X)", say