Framer: planning and assessment using a single domain specification