schema

define
application sub entity,
        has application_id,
        has device_ip_address,
        has a,
        has b,
        has c,
        has d,
        has e,
        has f,
        has g,
        has h,
        has i,
        has j,
        has k,
        has l,
        has m;

application_id sub attribute, datatype string;
device_ip_address sub attribute, datatype string;
a sub attribute, datatype string;
b sub attribute, datatype string;
c sub attribute, datatype string;
d sub attribute, datatype string;
e sub attribute, datatype string;
f sub attribute, datatype string;
g sub attribute, datatype string;
h sub attribute, datatype string;
i sub attribute, datatype string;
j sub attribute, datatype string;
k sub attribute, datatype string;
l sub attribute, datatype string;
m sub attribute, datatype string;


# start of file 2
define
same-ip-app sub role;

application sub entity,
        plays same-ip-app;

same-ip sub relation,
        relates same-ip-app;

ip-mutuality sub rule,
when {
    $a1 isa application;
    $a2 isa application;
    $a1 has device_ip_address $ip1;
    $a2 has device_ip_address $ip2;
    $ip1 == $ip2;
    $a1 != $a2;
}, then {
    (same-ip-app: $a1, same-ip-app: $a2) isa same-ip;
};