Two graphical methods used in first-order predicate logical reasoning, that is goal-guiding graphical reasoning method and transition frame graphical reasoning method, are presented.

提出了两种用于一阶谓词逻辑推理的图形方法：目标制导的图形推理法和变迁框图形推理法。

youdao

Now you stand at the helm and are guiding your ship towards Ascension, and your focus is firmly on your goal.

现在，你站在舵手的位置，你指导你扬升路径的提升方向，你决定你的终点和目标。

youdao

For many engineers, such a fully automated and self-guiding car is the ultimate goal, but it will be many years until we actually see one.

对于很多工程师来说，这种完全的自动驾驶和自动导航汽车仍是一个终极目标，我们可能还得等很多年才能见到它。

youdao

New Zealand coach Ricki Herbert soon replaced Fallon with Wood, who went so close to clinching a winning goal as he turned Cannavaro inside-out before guiding a well-struck low shot just the wrong side of the post.

BBC: Italy 1-1 New Zealand

Clever Iniesta, who has struggled for fitness in the past three months, then gave Spain what looked like some breathing space with a typically classy second goal, executing snappy give-and-go exchanges with first Torres and then Villa before coolly guiding the ball into Bravo's far corner with breathtaking simplicity.

BBC: Chile 1-2 Spain