User-agent: googlebot
User-agent: google
User-agent: bingbot
User-agent: bing
User-agent: msnbot
User-agent: bingpreview
User-agent: aolbuild
User-agent: baiduspider
User-agent: teoma
User-agent: slurp
User-agent: YandexBot
User-agent: duckduckbot
User-agent: MJ12bot
Disallow: /
Allow: /Portal/
Allow: /portal/
Allow: /Portal
Allow: /portal

User-agent: *
Disallow: /