Assertion list
mantis (primary) → HasProperty
Results from Ascent++: 5
mantis → HasProperty → green 0.49
mantis → HasProperty → carnivorous 0.33
mantis → HasProperty → small 0.25
mantis → HasProperty → the only one 0.25
mantis → HasProperty → light 0.16