Use top_level_semantic in doc spec instead of semantic (#9352)
#10056
| Job | Run time |
|---|---|
| 11m 53s | |
| 1m 39s | |
| 28m 3s | |
| 4m 56s | |
| 16m 32s | |
| 4h 21m 51s | |
| 5h 24m 54s |