Conclusion

• Strategy potential
  • Encouraging results
  • Success dependant on model
    • Too little guidance is no use
    • Too much pruning is bad
    • Need to be "just right"

• Implementation
  • PTTP implementation used to test ideas
  • Forthcoming high performance SETHEO implementation

• Other semantically guided systems will care