Assertion list for term "definable".
Results from Ascent++: 3
truth → HasProperty → definable 0.51
set → HasProperty → definable 0.48
value (aspect of property) → HasProperty → definable 0.31