(note "Unification over Formulas Level 0") (goals Bob BeHappy) (query (goals Bob ?H)) (answer BeHappy)