Assertion: logic | /r/HasProperty | pac
Facets:
Source sentences:
text: The exact relationship between public announcements and common knowledge is captured by the announcement and common knowledge rule of the logic PAC as the following: