eta.core.planning.split_schema_step

split_schema_step(wff)[source]

Split a schema step wff into the schema predicate and the arguments list for the schema.