[lemma=be] [tag=RB] [□] □
[lemma=be] [tag=RB] [□=□] □
[lemma=be] [tag=RB] [□ | □] □
Formal specifications are typically used to describe the intended behaviour of software systems ; they are not used to ` justify ' that behaviour . Performance , high performance and ultra high performance tires : Designed for higher speed handling and stability , tires in this category are typically used to maximize the performance of sports cars and sedans . Steel brushes are typically used to couple the field from the magnet assembly into the pipe . It is also convenient to use the interface index of the virtual link for that purpose , as it is already used to index the rows of the virtual links at the Interface , MAU and etherLike interfaces MIBs . The commenter also suggested the use of a tiered approach , in which simple bounding assumptions are first used to evaluate compliance , and more complex models and more site - specific data are used only if the simple bounding model does not demonstrate compliance . Automated forms are typically used to score the calls as they are reviewed . These are different from the layout margins that a word processor uses ; they are typically used to determine the minimal size for the layout margins . Historically , EC cells were also used to study cell specific replication by polyomavirus . A New York City real estate investor who gave Zarro a $ 518,000 bridge loan that was supposedly used to pay the Hudson Valley Philharmonic for a series of summer concerts Zarro sponsored at his country club . The records were also used to produce the lists of names of those servicemen with no known grave , which were later engraved on the memorials to the missing . Researchers are investigating human growth hormone - - which is already used to treat AIDS-related wasting - - to see if it can help people with various types of lipodystrophy as well . " This strategy causes less side effects since you're just taking what your body is already used to . Moreover , they were also used to define sets of formulas with similar properties to the ones the sets of theorems of the known logical deduction systems have , in particular the property of being closed under substitution instances and more recently they have also been used to define logics as consequence relations . They were also used to lay 115 km of railroad tracks , to build 210 km of the road to ( El Escanero ) , to build 5 cow sheds , 2 rabbit farms , an agro-chemical center where ammoniac base is produced , a saccharine plant , and used for the conversion of raw sugar to bulk sugar . Monthly beach profiling at the Kaanapali and Kailua Bay sites were also used to gain an understanding of seasonal sediment dynamics .