Assertion: undirected graph | /r/HasProperty | h -free
Facets:
Source sentences:
text: The H -free graphs are the family of all graphs (or, often, all finite graphs) that are H -free.