Assertion list
betrothal (primary) → HasProperty
Results from Ascent++: 2
betrothal → HasProperty → binding 0.68
betrothal → HasProperty → valid 0.43