Assertion list
electric train (subgroup of train ) → HasProperty
Results from Ascent++: 2
electric train → HasProperty → lighter 0.59
electric train → HasProperty → more reliable 0.16