Vertical/Horizontal Reasoning

Vertical Reasoning (Assertion Data Fusion ADF)

Sx (x1o, x2o) (St (t1, t2, t3) media_source)

In vertical reasoning we first extract time slices from media_source and then extract the following spatial information: two open clusters along the x axis. The query can be expressed as:
SELECT     x
CLUSTER    OPEN x1, OPEN x2
FROM  SELECT     t
      CLUSTER    t1, t2, t3
      FROM       media_source