There are marked trails leading from the park's headquarters into the jungle.
There are marked trails.
mnli hypothesis: There are marked trails. premise: There are marked trails leading from the park's headquarters into the jungle.