Assertion list
resistance (aspect of galvanometer ) → HasProperty

Results from Ascent++: 1
resistanceHasProperty small 0.25