Assertion: dynamic logic | /r/HasAspect | few potential problems
Facets:
Source sentences:
text: Dynamic logic has a few potential problems that static logic does not.