We observe that, for two triggers t 1 and t 2 , if their arguments have the same type and role, then they are more likely to belong to the same type, and vice versa.
we introduce a constraint function f , to enforce inter-dependent triggers and arguments to have coherent types: where P1 and P2 are triggers.