Ascent++
Search
Assertion list
plain bearing
(
subgroup
of
bearing
)
→ ReceivesAction
Results from
Ascent++
:
3
plain bearing
→
ReceivesAction
→
considered discrete gadget
0.48
plain bearing
→
ReceivesAction
→
used in contact
0.30
plain bearing
→
ReceivesAction
→
made
0.22