Assertion list
update (primary) → HasProperty
Results from Ascent++: 105
update → HasProperty → complete 0.68
update → HasProperty → successful 0.56
update → HasProperty → visible 0.54
update → HasProperty → free 0.54
update → HasProperty → effective 0.53
update → HasProperty → cumulative 0.51
update → HasProperty → underway 0.51
update → HasProperty → big 0.51
update → HasProperty → minor 0.51
update → HasProperty → permanent 0.50
update → HasProperty → simple 0.49
update → HasProperty → safe 0.48
update → HasProperty → essential 0.48
update → HasProperty → compatible 0.48
update → HasProperty → atomic 0.48
update → HasProperty → constant 0.46
update → HasProperty → applicable 0.45
update → HasProperty → incremental 0.44
update → HasProperty → large 0.44
update → HasProperty → fast 0.43
update → HasProperty → few 0.42
update → HasProperty → frequent 0.41
update → HasProperty → welcome 0.40
update → HasProperty → awesome 0.40
update → HasProperty → great 0.39
update → HasProperty → small 0.38
update → HasProperty → stable 0.37
update → HasProperty → valid 0.37
update → HasProperty → automatic 0.36
update → HasProperty → critical 0.36
update → HasProperty → mandatory 0.35
update → HasProperty → optional 0.35
update → HasProperty → subtle 0.35
update → HasProperty → late 0.34
update → HasProperty → short 0.34
update → HasProperty → cosmetic 0.33
update → HasProperty → bigger 0.33
update → HasProperty → infrequent 0.33
update → HasProperty → immediate 0.32
update → HasProperty → brief 0.32
update → HasProperty → rare 0.32
update → HasProperty → the latest 0.32
update → HasProperty → useful 0.32
update → HasProperty → continuous 0.31
update → HasProperty → new 0.31
update → HasProperty → online 0.31
update → HasProperty → ongoing 0.31
update → HasProperty → slow 0.30
update → HasProperty → smaller 0.30
update → HasProperty → surprising 0.30
update → HasProperty → unsuccessful 0.29
update → HasProperty → enough 0.28
update → HasProperty → light 0.28
update → HasProperty → old 0.28
update → HasProperty → true 0.28
update → HasProperty → modest 0.28
update → HasProperty → significant 0.27
update → HasProperty → current 0.27
update → HasProperty → extensive 0.27
update → HasProperty → less frequent 0.27
update → HasProperty → private 0.27
update → HasProperty → the last 0.27
update → HasProperty → interesting 0.26
update → HasProperty → massive 0.26
update → HasProperty → overdue 0.26
update → HasProperty → possible 0.26
update → HasProperty → substantial 0.25
update → HasProperty → available over-the-air ota 0.25
update → HasProperty → clear 0.25
update → HasProperty → daily 0.25
update → HasProperty → deterministic 0.25
update → HasProperty → final 0.25
update → HasProperty → functional 0.25
update → HasProperty → granular 0.25
update → HasProperty → graphical 0.25
update → HasProperty → most relevant 0.25
update → HasProperty → official 0.25
update → HasProperty → unexpected 0.25
update → HasProperty → helpful 0.24
update → HasProperty → major one 0.24
update → HasProperty → incompatible 0.23
update → HasProperty → accurate 0.22
update → HasProperty → buggy 0.22
update → HasProperty → unnecessary 0.22
update → HasProperty → easier 0.21
update → HasProperty → faster 0.21
update → HasProperty → open 0.20
update → HasProperty → forthcoming 0.19
update → HasProperty → disappointing 0.18
update → HasProperty → long 0.18
update → HasProperty → regular 0.18
update → HasProperty → robust 0.18
update → HasProperty → silent 0.18
update → HasProperty → the largest 0.18
update → HasProperty → timely 0.18
update → HasProperty → unique 0.18
update → HasProperty → bad 0.16
update → HasProperty → confusing 0.16
update → HasProperty → convenient 0.16
update → HasProperty → downloadable 0.16
update → HasProperty → efficient 0.16
update → HasProperty → perfect 0.16
update → HasProperty → positive 0.16
update → HasProperty → solid 0.16
update → HasProperty → useless 0.16