Assertion list
latent ambiguity (subgroup of ambiguity ) → HasProperty
Results from Ascent++: 1
latent ambiguity → HasProperty → more subtle 0.59