Assertion list
argument (aspect of function ) → HasProperty

Results from Ascent++: 62
argumentHasProperty optional 0.71
argumentHasProperty false 0.69
argumentHasProperty valid 0.67
argumentHasProperty true 0.65
argumentHasProperty zero 0.63
argumentHasProperty empty 0.62
argumentHasProperty negative 0.59
argumentHasProperty invalid 0.56
argumentHasProperty simple 0.56
argumentHasProperty positive 0.54
argumentHasProperty nonzero 0.53
argumentHasProperty accessible 0.52
argumentHasProperty equal 0.50
argumentHasProperty static 0.49
argumentHasProperty identical 0.49
argumentHasProperty numeric 0.48
argumentHasProperty void 0.48
argumentHasProperty mandatory 0.46
argumentHasProperty implicit 0.44
argumentHasProperty correct 0.42
argumentHasProperty explicit 0.41
argumentHasProperty greater 0.40
argumentHasProperty applicable 0.37
argumentHasProperty useful 0.37
argumentHasProperty compelling 0.36
argumentHasProperty complex 0.36
argumentHasProperty double 0.36
argumentHasProperty less than the second 0.33
argumentHasProperty incorrect 0.32
argumentHasProperty clear 0.32
argumentHasProperty consistent 0.32
argumentHasProperty large 0.32
argumentHasProperty long 0.32
argumentHasProperty literal 0.30
argumentHasProperty moot 0.30
argumentHasProperty mutable 0.30
argumentHasProperty short 0.30
argumentHasProperty significant 0.30
argumentHasProperty missing 0.30
argumentHasProperty convertible 0.28
argumentHasProperty greater than the second 0.28
argumentHasProperty inexact 0.28
argumentHasProperty right 0.28
argumentHasProperty sound 0.28
argumentHasProperty weak 0.27
argumentHasProperty bottom 0.25
argumentHasProperty compatible 0.25
argumentHasProperty important 0.25
argumentHasProperty long double 0.25
argumentHasProperty more intuitive 0.25
argumentHasProperty rational 0.25
argumentHasProperty smaller 0.25
argumentHasProperty successful 0.25
argumentHasProperty unspecified 0.25
argumentHasProperty inconsistent 0.21
argumentHasProperty contradictory 0.19
argumentHasProperty interesting 0.19
argumentHasProperty incompatible 0.16
argumentHasProperty irrelevant 0.16
argumentHasProperty problematic 0.16
argumentHasProperty strong 0.16
argumentHasProperty unconvincing 0.16