The MainFeatures of a Planner Fully Based on LTL