File: derive.note

------------------------------------------------------------------------------------------
-->> note that we do not do any error checking in the program !!! <<-- 

e.g. for the average example:

Precondition: for every Practical Allocation -> there is
              a Practical Mark assigned to the corresponding Practical Mark entity.

Precondition: [dyn(ent_occ("'Practical Allocation'", Occ3, P3)),
              =>,
              dyn(ent_occ_att(dyn(ent_occ("'Practical Mark'", Occ1, Parents)),
                    "'Practical Mark'", Value))].

Violation: There is a Practical Allocation, which does not have a mark yet.
Violation: [dyn(ent_occ("'Practical Allocation'", Occ3, P3)),
           not(dyn(ent_occ_att(dyn(ent_occ("'Practical Mark'", Occ1, Parents)),
                   "'Practical Mark'", Value)))

------------------------------------------------------------------------------------------