Assertion list
khat (primary) → HasProperty
Results from Ascent++: 2
khat → HasProperty → illegal 0.54
khat → HasProperty → fresh 0.25