role_inclusion1.frm

signature {
propositions { p }
nominals { }
relations { s, t, r : { reflexive, subsetof {s,t}} }
}

theory

{
 <r>p;
 [s]!p;
 [t]!p
}