Assertion: failure detector | /r/HasProperty | p
Facets:
Source sentences:
text: Perfect failure detector (P) Eventually perfect failure detectors (♦P)