Assertion: dynamic logic | /r/HasProperty | harder to work
Facets:
Source sentences:
text: Dynamic logic can be harder to work with, but it may be the only choice when increased processing speed is needed.