Actually do goal-direction
Only ever assert goals for a given environment once.
Assertions in the GOAL formula should be desirable goals, not all information
Log time in log:semantics