Ascent++
Search
Assertion list
valid marriage
(
subgroup
of
marriage
)
→ HasProperty
Results from
Ascent++
:
1
valid marriage
→
HasProperty
→
indissoluble
0.55