Assertion: graph's g | /r/HasProperty | part of the input
Facets:
Source sentences:
text: However, when G is part of the input but H is fixed, it can be solved in polynomial time.