textworld/generator/inform7/world2inform7.py [657:754]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
        source += textwrap.dedent("""\
        Printing the objective is an action applying to nothing.
        Carry out printing the objective:
            say "[objective]".

        Understand "goal" as printing the objective.

        """)

        # Customize reporting of the "take" action.
        # Ref: http://inform7.com/learn/man/RB_6_8.html
        source += textwrap.dedent("""\
        The taking action has an object called previous locale (matched as "from").

        Setting action variables for taking:
            now previous locale is the holder of the noun.

        Report taking something from the location:
            say "You pick up [the noun] from the ground." instead.

        Report taking something:
            say "You take [the noun] from [the previous locale]." instead.

        Report dropping something:
            say "You drop [the noun] on the ground." instead.

        """)

        # Special command to print game state.
        source += textwrap.dedent("""\
        The print state option is a truth state that varies.
        The print state option is usually false.

        Turning on the print state option is an action applying to nothing.
        Carry out turning on the print state option:
            Now the print state option is true.

        Turning off the print state option is an action applying to nothing.
        Carry out turning off the print state option:
            Now the print state option is false.

        Printing the state is an activity.
        Rule for printing the state:
            let R be the location of the player;
            say "Room: [line break] [the internal name of R][line break]";
            [say "[line break]";
            carry out the printing the content of the room activity;]
            say "[line break]";
            carry out the printing the content of the world activity;
            say "[line break]";
            carry out the printing the content of the inventory activity;
            say "[line break]";
            carry out the printing the content of nowhere activity;
            say "[line break]".

        Printing the entire state is an action applying to nothing.
        Carry out printing the entire state:
            say "-=STATE START=-[line break]";
            carry out the printing the state activity;
            say "[line break]Score:[line break] [score]/[maximum score][line break]";
            say "[line break]Objective:[line break] [objective][line break]";
            say "[line break]Inventory description:[line break]";
            say "  You are carrying: [a list of things carried by the player].[line break]";
            say "[line break]Room description:[line break]";
            try looking;
            say "[line break]-=STATE STOP=-";

        Every turn:
            if extra description command option is true:
                say "<description>";
                try looking;
                say "</description>";
            if extra inventory command option is true:
                say "<inventory>";
                try taking inventory;
                say "</inventory>";
            if extra score command option is true:
                say "<score>[line break][score][line break]</score>";
            if extra score command option is true:
                say "<moves>[line break][turn count][line break]</moves>";
            if print state option is true:
                try printing the entire state;

        When play ends:
            if print state option is true:
                try printing the entire state;

        After looking:
            carry out the printing the things on the floor activity.

        Understand "print_state" as printing the entire state.
        Understand "enable print state option" as turning on the print state option.
        Understand "disable print state option" as turning off the print state option.

        """)

        # Disable implicitly opening/unlocking door.
        source += textwrap.dedent("""\
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



textworld/generator/inform7/world2inform7.py [866:909]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
        source += textwrap.dedent("""\
        The extra moves command option is a truth state that varies.
        The extra moves command option is usually false.

        Turning on the extra moves command option is an action applying to nothing.
        Carry out turning on the extra moves command option:
            Decrease turn count by 1;  [Internal framework commands shouldn't count as a turn.]
            Now the extra moves command option is true.

        Understand "tw-extra-infos moves" as turning on the extra moves command option.

        """)

        # Tracing actions.
        source += textwrap.dedent("""\
            To trace the actions:
                (- trace_actions = 1; -).

            Tracing the actions is an action applying to nothing.
            Carry out tracing the actions:
                Decrease turn count by 1;  [Internal framework commands shouldn't count as a turn.]
                trace the actions;

            Understand "tw-trace-actions" as tracing the actions.

        """)

        # Special command to restrict possible actions.
        source += textwrap.dedent("""\
        The restrict commands option is a truth state that varies.
        The restrict commands option is usually false.

        Turning on the restrict commands option is an action applying to nothing.
        Carry out turning on the restrict commands option:
            Decrease turn count by 1;  [Internal framework commands shouldn't count as a turn.]
            Now the restrict commands option is true.

        Understand "restrict commands" as turning on the restrict commands option.

        """)

        # If "restrict commands" mode is on, force the player to mention where to
        # take the object from.
        source += textwrap.dedent("""\
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -