Firstly, we construct the conditional system AKC with double conditions for aim and background knowledge, give some results of its proof theory.
首先，我们构造以目的和背景知识为双条件的条件句系统akc，给出它的一些证明论结果。
For AIM to have succeeded there must have been considerable investor appetite for smaller growing companies with potential for higher returns to off-set the greater risk.
对于AIM来说，要成功就必须有相当的投资者对潜在的高回报和高风险并存的中小型增长公司感兴趣有潜在高回报的小型增长型公司有兴趣，以抵销其较大风险。
He said he would aim for the 100 metre world record at the world championships in August.
他说他将以在8月举行的世界锦标赛上打破100米世界纪录为目标。
Their ultimate aim was a market economy for Hungary.
他们的最终目标是为匈牙利建立市场经济。
Dieters aim for 1,000 to 1,500 calories a day.
节食者的目标是每天摄入1000到1500卡路里。
It's not just because it's something that all people want to aim for.
这不仅仅是因为它是所有人都想要追求的目标。
Why not provide some positive goals for students and teachers to aim at?
为什么不为学生和老师提供一些积极的目标呢？
The aim was to enable older people to remain in their own homes for as long as possible.
其目的是让老年人尽可能长时间呆在自己的家中。
The aim of course is not really to spread the sport for its own sake, but to increase the number of people interested in the major money-making events.
这样做的目的当然不是为了传播这项运动本身，而是为了让更多的人对能够赚钱的重大赛事感兴趣。
The principal aim is to create a home-like relaxing feel, so airlines tend to use soft colors that feel domestic, natural and earthy for that reason.
主要目的是营造一种家庭般令人放松的感觉，因此航空公司倾向于使用柔和的颜色，给人一种像家一样的、自然而朴实的感觉。
You should not be afraid to aim high in the quest for an improvement in your income.
在寻求收入提高方面，你应该敢于给自己设定高的目标。
We should aim for a bigger share of the market.
我们应该努力争取更大的市场份额。
Above all, aim for things that are truly important to you, not what you think you ought to do or what others expect of you.
最重要的是，把目标放在对你真正重要的事情上，而不是那些你认为自己应该做或者其他人希望你做的事情上。
Aim for earnest and prepare by practicing.
以认真为目标，通过练习来准备。
Broadly, the 2016—2020 dietary recommendations aim for balance: more vegetables, leaner meats and far less sugar.
总体而言，2016-2020年的饮食建议主要针对膳食平衡，即多吃蔬菜和瘦肉，少吃糖。
An increasing number of students went abroad for further study with an aim of broadening their horizons.
越来越多的学生带着开拓眼界的目的出国深造。
Teachers should aim to build a supportive, creative environment for students to do this work.
教师应该致力于为学生做这项工作建立一个富有支持性的、创造性的环境。
The dual aim was mixed up: the stress on success over taking part was intimidating for newcomers.
这两个目标混淆了：对新人来说，强调成功而非参与是令人生畏的。
Some things we aim for and value, not for themselves but for what they bring about in addition to themselves.
我们追求和重视一些东西，不是因为它们本身，而是为了它们除了自身之外所带来的东西。
By watching what people search for, click on and say online, companies can aim "behavioural" ads at those most likely to buy.
通过观察人们在网上搜索、点击和发言的内容，公司可以将“行为性”广告瞄准那些最有可能购买的人。
应用推荐