Leonardo: Goal assistance with divergent beliefs

This demonstrates the robot Leonardo's ability to reason and act competently in situations when the other (in this case, human) agents have different belief states.