Ascent++
Search
Assertion list
for term "of two types".
Results from
Ascent++
:
1
divorce
→
IsA
→
of two types
0.25