Ascent++
Search
design
aspect of
engineer
,
54
assertions
CapableOf
8
meet requirement
0.68
become more complex
0.40
perform to their specif…
0.35
meet criterion
0.33
come to life
0.27
near completion
0.25
solve problem
0.21
meet governmental stand…
0.16
HasProperty
29
important
0.59
complete
0.52
safe
0.51
good
0.47
complex
0.46
sound
0.45
correct
0.44
efficient
0.43
simple
0.42
functional
0.41
More »
ReceivesAction
17
created
0.69
tested
0.59
built
0.54
finalized
0.53
developed
0.49
based
0.42
approved
0.38
manufactured
0.33
simulated
0.31
improved
0.31
More »