Assertion: node | /r/AtLocation | the subgame
Facets:
Source sentences:
text: If a node is contained in the subgame then so are all of its successors.