Assertion: obstruction | /r/HasProperty | set for any family
Facets:
Source sentences:
text: Although the Robertson–Seymour theorem extends these results to arbitrary minor-closed graph families, it is not a complete substitute for these results, because it does not provide an explicit description of the obstruction set for any family.