added more show declarations for PDDL
interpreter can interpret simple sentences with quantifiers