" src="/cycdoc/img/cb/keyboard_icon.gif" width="30" />    <span style="color: #660033;">Click on the Tools link in the left corner of the top frame. Click on the "Assert" link in the column on the left. Enter "(age Billy (WeeksDuration 11))" in the large text box.</span><span>   [ Show me ]</span></p>
<p style="font-family: Arial, sans-serif; font-size: medium; line-height: normal;">Note the way in which the function <tt><span style="font-size: xx-small;">#$WeeksDuration</span></tt> , and its sin