[id: rwvddygdvaovmjvi] i($x and $y play a game of...) && fact($x likes to play $bla) => o($bla!)
[id: rwvddygdvaovmjvi] input($x and $y play a game of...|$x and $y play an game of...) && fact($x likes to play $bla) => output($bla!)