Completing the example

Adding in parameterized Defined_Terms.