Assertion list for term "developed with assumption".
Results from Ascent++: 1
optical drive (subgroup of drive) → ReceivesAction → developed with assumption 0.25