Assertion list
save (primary) → HasProperty
Results from Ascent++: 17
save → HasProperty → successful 0.61
save → HasProperty → important 0.58
save → HasProperty → the most practical 0.41
save → HasProperty → active 0.38
save → HasProperty → operational 0.38
save → HasProperty → fine 0.35
save → HasProperty → easy 0.35
save → HasProperty → open 0.34
save → HasProperty → complete 0.33
save → HasProperty → fun 0.32
save → HasProperty → good 0.29
save → HasProperty → useful 0.29
save → HasProperty → perfect 0.24
save → HasProperty → free 0.19
save → HasProperty → large 0.16
save → HasProperty → safe 0.16
save → HasProperty → the latest 0.16