Assertion list
electronic circuit (subgroup of circuit ) → HasProperty
Results from Ascent++: 2
electronic circuit → HasProperty → operable 0.68
electronic circuit → HasProperty → useful 0.23