[id: qjplerdlxfgmkake] i(do you have a boss) && fact($x_y is my boss) => o(I report to $x_y.)
[id: qjplerdlxfgmkake] input(do you have a boss|do you have an boss) && fact($x_y is my boss) => output(I report to $x_y.)