Assertion: set's element | /r/AtLocation | more than one covering set
Facets:
Source sentences:
text: Exact cover problem is to choose a set cover with no element included in more than one covering set.