Assertion list
food chain (primary) → HasProperty
Results from Ascent++: 4
food chain → HasProperty → complicated 0.52
food chain → HasProperty → secure 0.47
food chain → HasProperty → simple 0.27
food chain → HasProperty → short 0.25