Ascent++
Search
substitute check
subgroup of
check
,
4
assertions
CapableOf
1
correspond to check
0.16
IsA
1
zero
0.25
ReceivesAction
2
based on original check
0.48
created
0.42