Assertion list
electronic device (primary) → HasProperty
Results from Ascent++: 3
electronic device → HasProperty → shaped 0.25
electronic device → HasProperty → lightweight 0.24
electronic device → HasProperty → functional 0.16