Jealous-husbands

Language: Teaching Script Entire Dialog
World states: init-husbands.world fail-husbands.world final-husbands.world

Teaching Dialog (Rosie in bold)

TEACHER: The name of the puzzle is jealous-husbands.
Please setup the puzzle.
TEACHER: Load init-husbands.
Ok.
TEACHER: Ok.
Please describe the actions, goals, and failure conditions.
TEACHER: The name of an action is ferry-one.
What are the conditions of the action.
TEACHER: You can move the boat and a block on the current bank onto the opposite bank.
Please describe the meaning of 'current' in this context.
TEACHER: If an object is below a boat then it is current.
Ok, I've learned the meaning of 'current' for this context.
Please describe the meaning of 'opposite' in this context.
TEACHER: If a location is not below a boat then it is opposite.
Ok, I've learned the meaning of 'opposite' for this context.
I've learned the action.
TEACHER: The name of an action is ferry-two.
What are the conditions of the action.
TEACHER: You can move a block that is on the current bank and another block that is on the current bank and the boat onto the opposite bank.
I've learned the action.
TEACHER: The solution has five steps.
Ok.
TEACHER: Load fail-husbands.
Ok.
TEACHER: If a woman is on a bank and the husband of the woman is not on the bank and a man is on the bank then you lose.
Please setup the failure condition.
TEACHER: Ok.
Please describe the meaning of 'husband' in this context.
TEACHER: If the last-name of a woman is the last-name of a man then the man is the husband of the woman.
Ok, I've learned the meaning of 'husband' for this context.
I've learned the failure condition.
TEACHER: Load final-husbands.
Ok.
TEACHER: The name of the goal is all-crossed.
Please setup the goal state.
TEACHER: Ok.
Please describe the goal.
TEACHER: The goal is that all the blocks are on a destination bank.
I've learned the goal.
TEACHER: Done.
I've learned jealous-husbands. Should I try to solve the puzzle?
TEACHER: No.
Ok.