Assertion: clock's time | /r/HasProperty | no clique
Facets:
Source sentences:
text: If there is no clique containing more than half the intervals, a correct time cannot be determined and the Byzantines lose the war.