We would like to have some help on refining our intuition about the difference between assumes and includes clauses in LSL, expecially from a practical point of view. Any suggestion about when one should use assumes and when includes are welcome. Thanks Paolo Ciancarini