In a logic block such as:

OR:
OR: "Medication, Administered not done: Medical Contraindication" for "Low Dose Unfractionated Heparin for VTE Prophylaxis "
OR: "Medication, Administered not done: Medical Contraindication" for "Low Molecular Weight Heparin for VTE Prophylaxis "
OR: "Medication, Administered not done: Medical Contraindication" for "Injectable Factor Xa Inhibitor for VTE Prophylaxis "
OR: "Medication, Administered not done: Medical Contraindication" for "Warfarin "
starts before start of "Occurrence A of Diagnostic Study, Order: VTE Diagnostic Test"
starts during "Occurrence A of Encounter, Performed: Encounter Inpatient"

Bonnie applies two timing constraints to the inner phrases, but the outter timing constraint is not applied to the inner timing constraint. Was this an implementation decision on a "fuzzy" subject or is there a reason behind this interpretation grounded in the HQMF standard?