clear
parses state goal descriptions
instantiates state goal predicates