Assertion list
red line (primary) → HasProperty
Results from Ascent++: 12
red line → HasProperty → complete 0.50
red line → HasProperty → parallel 0.47
red line → HasProperty → long 0.34
red line → HasProperty → open 0.34
red line → HasProperty → stellar fitted 0.34
red line → HasProperty → credible 0.29
red line → HasProperty → higher 0.29
red line → HasProperty → operational 0.29
red line → HasProperty → 20kms 0.25
red line → HasProperty → mean 0.25
red line → HasProperty → negative 0.25
red line → HasProperty → the yellow 0.25