Assertion list
road map (primary) → HasProperty
Results from Ascent++: 5
road map → HasProperty → clear 0.44
road map → HasProperty → important 0.36
road map → HasProperty → complete 0.31
road map → HasProperty → imperfect 0.25
road map → HasProperty → realistic 0.25