Assertion list
light year (primary) → HasProperty
Results from Ascent++: 2
light year → HasProperty → equal 0.44
light year → HasProperty → long 0.34