Assertion list
communication protocol (subgroup of protocol ) → HasProperty
Results from Ascent++: 2
communication protocol → HasProperty → proprietary 0.31
communication protocol → HasProperty → efficient 0.16