Ascent++
Search
Assertion list
for term "to become effective".
Results from
Ascent++
:
1
division
→
HasProperty
→
to become effective
0.35