Ascent++
Search
Assertion list
red team
(
subgroup
of
team
)
→ IsA
Results from
Ascent++
:
1
red team
→
IsA
→
the team
0.25