




consult('./data/data.db').

consult('./data/data.oi').

consult('./data/data.of').


EntOcc = dyn(ent_occ('Practical Assign To Module','ES-p1',[('Practical',p1),('Module','ES')])), EntOcc.


Precond = [exists,refer_normal_entity('Practical Assign To Module','ES-p1')], 
satisfy_precond(_, _,  EntOcc, Precond). 
