Assertion: problem | /r/HasAspect | unique solution
Facets:
Source sentences:
text: The solutions form a convex set, so the problem has either infinitely many solutions or a unique solution.