  This technical report provides some lightweight introduction motivating the
definition of an alignment of log traces against Data-Aware Declare Models
potentially containing correlation conditions. This technical report is only
providing the intuition of the logical framework as a feasibility study for a
future formalization and experiment section.
