Assertion: solution | /r/HasProperty | given for some constant
Facets:
Source sentences:
text: q(x)y = 0, then any solution y is given by for some constant and .