Assertion: propositional logic | /r/HasProperty | only one example of this trend
Facets:
Source sentences:
text: Provability logic is only one example of this trend.