Assertion list for term "bordered by main".
Results from Ascent++: 2
block → ReceivesAction → bordered by main 0.34
new block (subgroup of block) → ReceivesAction → bordered by main 0.30