Assertion list
new node (subgroup of node ) → CapableOf
Results from Ascent++: 4
new node → CapableOf → join the network 0.74
new node → CapableOf → join the cluster 0.58
new node → CapableOf → replace existing node 0.29
new node → CapableOf → send message 0.29