'********** variable elimination 'Some bird can swim. (&&,<#x --> bird>,<#x --> swimmer>). 'Swan is a type of bird. bird>. %0.90% 3 'I guess swan can swim. ''outputMustContain(' swimmer>. %0.90;0.43%')