Assertion list
execution (primary) → HasProperty
Results from Ascent++: 168
execution → HasProperty → returnable 0.57
execution → HasProperty → complex 0.56
execution → HasProperty → consistent 0.56
execution → HasProperty → cruel 0.54
execution → HasProperty → great 0.54
execution → HasProperty → fast 0.54
execution → HasProperty → flawless 0.53
execution → HasProperty → difficult 0.51
execution → HasProperty → inhumane 0.48
execution → HasProperty → public 0.47
execution → HasProperty → simple 0.47
execution → HasProperty → important 0.46
execution → HasProperty → efficient 0.46
execution → HasProperty → solid 0.45
execution → HasProperty → successful 0.44
execution → HasProperty → specific 0.44
execution → HasProperty → effective 0.44
execution → HasProperty → excellent 0.43
execution → HasProperty → key 0.43
execution → HasProperty → problematic 0.42
execution → HasProperty → open 0.41
execution → HasProperty → critical 0.41
execution → HasProperty → appropriate 0.40
execution → HasProperty → rare 0.39
execution → HasProperty → swift 0.39
execution → HasProperty → massive 0.38
execution → HasProperty → unusual 0.38
execution → HasProperty → more important 0.38
execution → HasProperty → imminent 0.37
execution → HasProperty → identical 0.37
execution → HasProperty → legal 0.36
execution → HasProperty → unique 0.35
execution → HasProperty → detailed 0.35
execution → HasProperty → precise 0.35
execution → HasProperty → thorough 0.35
execution → HasProperty → barbaric 0.35
execution → HasProperty → illegal 0.34
execution → HasProperty → unconstitutional 0.34
execution → HasProperty → necessary 0.34
execution → HasProperty → slow 0.34
execution → HasProperty → humane 0.33
execution → HasProperty → painless 0.33
execution → HasProperty → painful 0.33
execution → HasProperty → poor 0.33
execution → HasProperty → hasty 0.32
execution → HasProperty → violent 0.32
execution → HasProperty → clear 0.31
execution → HasProperty → considered binding 0.31
execution → HasProperty → creative 0.29
execution → HasProperty → incomplete 0.29
execution → HasProperty → dependent 0.29
execution → HasProperty → flexible 0.29
execution → HasProperty → functional 0.29
execution → HasProperty → irregular 0.29
execution → HasProperty → practical 0.29
execution → HasProperty → sequential 0.29
execution → HasProperty → transparent 0.29
execution → HasProperty → an valued 0.27
execution → HasProperty → automated 0.27
execution → HasProperty → deterministic 0.27
execution → HasProperty → equal 0.27
execution → HasProperty → instantaneous 0.27
execution → HasProperty → long 0.27
execution → HasProperty → more complicated 0.27
execution → HasProperty → seamless 0.27
execution → HasProperty → stateful 0.27
execution → HasProperty → unexpected 0.27
execution → HasProperty → voluntary 0.27
execution → HasProperty → unnecessary 0.27
execution → HasProperty → common 0.27
execution → HasProperty → perfect 0.26
execution → HasProperty → accurate 0.26
execution → HasProperty → arbitrary 0.26
execution → HasProperty → extraordinary 0.26
execution → HasProperty → inconsistent 0.26
execution → HasProperty → smooth 0.26
execution → HasProperty → strong 0.26
execution → HasProperty → apt 0.25
execution → HasProperty → big 0.25
execution → HasProperty → central 0.25
execution → HasProperty → cheaper 0.25
execution → HasProperty → conditional 0.25
execution → HasProperty → continuous 0.25
execution → HasProperty → dignified 0.25
execution → HasProperty → empty 0.25
execution → HasProperty → fluid 0.25
execution → HasProperty → integral 0.25
execution → HasProperty → monotonous 0.25
execution → HasProperty → paramount 0.25
execution → HasProperty → reportable 0.25
execution → HasProperty → safe 0.25
execution → HasProperty → second 0.25
execution → HasProperty → standard 0.25
execution → HasProperty → sufficient 0.25
execution → HasProperty → surprising 0.25
execution → HasProperty → tighter 0.25
execution → HasProperty → possible 0.25
execution → HasProperty → brutal 0.25
execution → HasProperty → sloppy 0.25
execution → HasProperty → smart 0.25
execution → HasProperty → awkward 0.24
execution → HasProperty → bad 0.24
execution → HasProperty → brilliant 0.24
execution → HasProperty → contrary 0.24
execution → HasProperty → expensive 0.24
execution → HasProperty → fresh 0.24
execution → HasProperty → impressive 0.24
execution → HasProperty → interesting 0.24
execution → HasProperty → original 0.24
execution → HasProperty → asynchronous 0.23
execution → HasProperty → awful 0.22
execution → HasProperty → beautiful 0.22
execution → HasProperty → easy 0.22
execution → HasProperty → outstanding 0.22
execution → HasProperty → disappointing 0.21
execution → HasProperty → dull 0.21
execution → HasProperty → frequent 0.21
execution → HasProperty → fun 0.21
execution → HasProperty → immediate 0.21
execution → HasProperty → lacking 0.21
execution → HasProperty → risky 0.21
execution → HasProperty → vital 0.21
execution → HasProperty → applicable 0.20
execution → HasProperty → amateurish 0.19
execution → HasProperty → believable 0.19
execution → HasProperty → boring 0.19
execution → HasProperty → clunky 0.19
execution → HasProperty → dynamic 0.19
execution → HasProperty → effortless 0.19
execution → HasProperty → elegant 0.19
execution → HasProperty → excruciating 0.19
execution → HasProperty → haphazard 0.19
execution → HasProperty → immoral 0.19
execution → HasProperty → inspiring 0.19
execution → HasProperty → more stable 0.19
execution → HasProperty → predictable 0.19
execution → HasProperty → reliable 0.19
execution → HasProperty → unjust 0.19
execution → HasProperty → weak 0.19
execution → HasProperty → absurd 0.16
execution → HasProperty → acceptable 0.16
execution → HasProperty → clever 0.16
execution → HasProperty → compelling 0.16
execution → HasProperty → delicious 0.16
execution → HasProperty → emotional 0.16
execution → HasProperty → expressive 0.16
execution → HasProperty → grotesque 0.16
execution → HasProperty → impeccable 0.16
execution → HasProperty → incorrect 0.16
execution → HasProperty → irreversible 0.16
execution → HasProperty → messy 0.16
execution → HasProperty → natural 0.16
execution → HasProperty → normal 0.16
execution → HasProperty → pleasing 0.16
execution → HasProperty → powerful 0.16
execution → HasProperty → prohibited null 0.16
execution → HasProperty → racist 0.16
execution → HasProperty → raw 0.16
execution → HasProperty → sharp 0.16
execution → HasProperty → shocking 0.16
execution → HasProperty → spectacular 0.16
execution → HasProperty → subtle 0.16
execution → HasProperty → superior 0.16
execution → HasProperty → unacceptable 0.16
execution → HasProperty → unavailable 0.16
execution → HasProperty → useful 0.16
execution → HasProperty → useless 0.16
execution → HasProperty → controversial 0.11