D4.A — Logical Characterisation of Hybrid Conformance