An example of motion detection:
Sigma_motion(moving) (U: A < B < C)
= (U: (moving A 0.8) < (moving B 0.9) < C)

An example of object identification:
Sigma_type(car) (U: A < B < C)
= (U: (car A 0.4) < (car B 0.75) < C)