Assertion list
flexible cord (subgroup of cord ) → ReceivesAction

Results from Ascent++: 1
flexible cordReceivesAction accommodated in the tube 0.68