Robot wyznacza obiekt, który spełnia warunek operacji logicznej alternatywy wykluczającej, zdefiniowanej dla dwóch wybranych obiektów.
Schematycznie operację przedstawiono na poniższym rysunku (dotyczy operacji na zbiorach).
Obiekt złożony tworzony jest za pomocą operacji logicznej alternatywy wykluczającej, zdefiniowanej dla obiektów zgrupowanych w argumentach A i B. Operacja logiczna wyznacza powierzchnię obiektów należących do pierwszego i drugiego argumentu, a nie do wspólnej części argumentów.