Assertion list
internal structure (subgroup of structure ) → ReceivesAction
Results from Ascent++: 2
internal structure → ReceivesAction → specified with a map of options 0.68
internal structure → ReceivesAction → observed in image 0.25