aaa(zzz))). time=0.0011279582977294922. passed=passed=info(why_was_true(user:ain((==>aaa(zzz))))) no_proof_for(ain((==>aaa(zzz)))). no_proof_for(ain((==>aaa(zzz)))). no_proof_for(ain((==>aaa(zzz)))). result=passed. ]]>