<> (foo ?a) (fuu ?a) <> (?b bar) (?b baz) (foo bar)