Assertion list
side (aspect of triangle ) → ReceivesAction
Results from Ascent++: 3
side → ReceivesAction → connected 0.44
side → ReceivesAction → divided 0.44
side → ReceivesAction → divided in same ratio 0.37