Syntax error on line 47: .
  define goal_state : (ferryman == false && goat == false && cabbage == false && wolf == false);
