otheories that contain assertions relevant to knowledge about Billy and Peter.</p>
<p style="font-family: Arial, sans-serif; font-size: medium; line-height: normal;">In Step One, we identified the following constants that we'll use to make assertions about Billy and Peter:<tt><span style="font-size: xx-small;">#$DomesticPet</span></tt> , <tt><span style="font-size: xx-small;">#$siblings</span></tt> , <tt><span style="font-size: xx-small;">#$likesAsFriend</span></tt> , <tt><span style="font-size: xx-sm