Assertion: graph's node | /r/HasProperty | expanded in order of increasing cost
Facets:
Source sentences:
text: This basically holds whenever nodes are expanded in order of increasing cost, or when the cost is a nonzero positive constant.