gle argument, <tt><span style="font-size: xx-small;">11</span></tt> , are surrounded by parentheses to create a single entity which then serves as the second argument to the predicate<tt><span style="font-size: xx-small;">#$age</span></tt> (which is defined as having two arguments and two arguments only). Such an entity, composed of a function and one or more arguments, is known in Cyc-talk as a NAT, which stands for "Non-Atomic Term".</p>
<p style="font-family: Arial, sans-serif; font-size: medium; line