Ascent++
Search
Assertion list
shape
(
aspect
of
foam
)
→ ReceivesAction
Results from
Ascent++
:
4
shape
→
ReceivesAction
→
envisioned
0.30
shape
→
ReceivesAction
→
maintained
0.28
shape
→
ReceivesAction
→
changed
0.25
shape
→
ReceivesAction
→
defined
0.25