Ascent++
Search
Assertion list
regular oil change
(
subgroup
of
oil change
)
→ HasProperty
Results from
Ascent++
:
1
regular oil change
→
HasProperty
→
necessary
0.68