Assertion: pentagonal prism | /r/HasProperty | one of the forbidden minors
Facets:
Source sentences:
text: The pentagonal prism is one of the forbidden minors for the graphs of treewidth three.