Assertion: solution | /r/HasProperty | discarded in above example
Facets:
Source sentences:
text: In some cases, as in the above example, all solutions may be discarded, in which case the original equation has no solution.