Assert (name CHILD "Rizzy"), as (name CHILD ?X)
.Answer 1. [definite]
1. (not (name CHILD ?X0)) [KB] 2. (not (name CHILD ?X0)) 1 3. (name CHILD "Rizzy") [KB] 4. (name CHILD "Rizzy") 3 5. Rizzy"