Assertion: graph | /r/HasProperty | forbidden minor
Facets:
value: for f
type: TEMPORAL
Source sentences:
text: These graphs are forbidden minors for F: a graph belongs to F if and only if it does not contain as a minor any graph in X.