Ascent++
Search
domain
aspect of
function
,
19
assertions
AtLocation
1
the blacklist
0.25
CapableOf
1
converge on compact sub…
0.25
HasProperty
6
identical
0.42
equal
0.35
real
0.35
convex
0.25
active
0.25
open
0.25
IsA
1
the set of all functions
0.25
ReceivesAction
10
connected by segments o…
0.63
created
0.61
restricted
0.47
destroyed
0.35
stored
0.25
connected
0.25
restricted in f(x
0.25
unblocked
0.25
shown in figs
0.25
disordered
0.25