Assertion list
tail (aspect of comet ) → HasProperty
Results from Ascent++: 5
tail → HasProperty → visible 0.54
tail → HasProperty → thin 0.35
tail → HasProperty → straight 0.32
tail → HasProperty → more than 40,000 miles 0.25
tail → HasProperty → small 0.25