Inclusion in Logic Model