On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction