Assertion list
taillight (primary) → HasProperty
Results from Ascent++: 5
taillight → HasProperty → wide 0.68
taillight → HasProperty → bright 0.59
taillight → HasProperty → clean 0.38
taillight → HasProperty → rectangular 0.38
taillight → HasProperty → slimmer 0.25