WolframAlpha computational knowledge AI
(p => q) => r