Ascent++
Search
Assertion list
outer envelope
(
subgroup
of
envelope
)
→ HasProperty
Results from
Ascent++
:
1
outer envelope
→
HasProperty
→
permeable
0.25