[id: nhvgesmzngcoiggz] i(what are the features) && allFacts($x is a feature|$x are a feature) => o($x1, $x2 [...] and $x_n)
[id: nhvgesmzngcoiggz] input(what are the features) && allFacts($x is a feature|$x are a feature) => output($x1, $x2 [...] and $x_n)