3469
Verint Contract Verint Systems Inc. , a provider of software for video security networks , announced Tuesday that a company that operates more than 570 buses in Porto , the second-largest city in Portugal , would use the company 's system for part of its fleet .
 location contains: Portugal, Porto; country of administrative divisions: Portugal, Porto; administrative division of country: Porto, Portugal
Given options, please tell me the relationships of all the listed entity pairs.Output format is "relation1: word1, word2; relation2: word3, word4". 
Option: ethnicity, place lived, geographic distribution, company industry, country of administrative divisions, administrative division of country, location contains, person of company, profession, ethnicity of people, company shareholder among major shareholders, sports team of location, religion, neighborhood of, company major shareholders, place of death, nationality, children, company founders, company founded place, country of capital, company advisors, sports team location of teams, place of birth 
Text: {0} 
 Entity Pairs:  Portugal, Porto; Portugal, Porto; Porto, Portugal 
Answer:
 location contains: Portugal, Porto; country of administrative divisions: Portugal, Porto; administrative division of country: Porto, Portugal