Assertion list
head (aspect of seal ) → ReceivesAction
Results from Ascent++: 6
head → ReceivesAction → shown in fig 0.51
head → ReceivesAction → removed 0.39
head → ReceivesAction → tilted 0.39
head → ReceivesAction → advanced 0.25
head → ReceivesAction → rotated 0.25
head → ReceivesAction → rotated around first axis 0.25