Assertion list
property (aspect of semiconductor ) → ReceivesAction

Results from Ascent++: 3
propertyReceivesAction changed 0.68
propertyReceivesAction combined with the properties of… 0.68
propertyReceivesAction changed with the aid of atoms 0.59