Ascent++
Search
Assertion list
tank
(
aspect
of
compressor
)
→ HasProperty
Results from
Ascent++
:
7
tank
→
HasProperty
→
full
0.84
tank
→
HasProperty
→
small
0.57
tank
→
HasProperty
→
empty
0.55
tank
→
HasProperty
→
large
0.51
tank
→
HasProperty
→
bigger
0.49
tank
→
HasProperty
→
flat
0.25
tank
→
HasProperty
→
more portable
0.16