Ascent++
Search
solid body
subgroup of
body
,
1
assertions
ReceivesAction
1
placed on inclined plane
0.68