Assertion list
variable resistor (subgroup of resistor ) → IsA
Results from Ascent++: 1
variable resistor → IsA → resistor 0.46