KnEng PlanningBased Hypoth gen