'****** variable elimination 'If something is a bird, then it is an animal. <<$x --> bird> ==> <$x --> animal>>. 'A robin is a bird. bird>. 3 'A robin is an animal. ''outputMustContain(' animal>. %1.00;0.81%')