Assertion list
brightness (aspect of star ) → HasProperty
Results from Ascent++: 5
brightness → HasProperty → constant 0.77
brightness → HasProperty → variable 0.44
brightness → HasProperty → bright 0.33
brightness → HasProperty → proportional 0.25
brightness → HasProperty → equal 0.16