Assertion: logic's application | /r/HasAspect | long history
Facets:
Source sentences:
text: The application of games to logic has a long history.