Assertion: logic's application | /r/CapableOf | become important
Facets:
value: increasingly
type: DEGREE
Source sentences:
text: The applications of modal logic to mathematics and computer science have become increasingly important.