answer(How))))) no_proof_for(e2c("how are you?")). no_proof_for(e2c("how are you?")). result=passed. ]]>