findAnimals :: Atom
findAnimals = Link "BindLink"
                  [Node "VariableNode" "$var" noTv
                  ,Link "InheritanceLink"
                      [Node "VariableNode" "$var" noTv
                      ,Node "ConceptNode" "animal" noTv
                      ] noTv
                  ,Node "VariableNode" "$var" noTv
                  ] noTv
findAnimals :: Atom
findAnimals = Link "BindLink"
                  [Node "VariableNode" "$var" noTv
                  ,Link "InheritanceLink"
                      [Node "VariableNode" "$var" noTv
                      ,Node "ConceptNode" "animal" noTv
                      ] noTv
                  ,Node "VariableNode" "$var" noTv
                  ] noTv
findAnimals = Link "BindLink"
                  [Node "VariableNode" "$var" noTv
                  ,Link "InheritanceLink"
                      [Node "VariableNode" "$var" noTv
                      ,Node "ConceptNode" "animal" noTv
                      ] noTv
                  ,Node "VariableNode" "$var" noTv
                  ] noTv