RULE dependent_instantiable_time_interval_role FOR (time_interval_role); WHERE wr1: SIZEOF ( QUERY ( t <* time_interval_role | NOT ( SIZEOF ( USEDIN ( t , '' ) ) >0 ) ) ) = 0; END_RULE; -- dependent_instantiable_time_interval_role |
public class RDependent_instantiable_time_interval_role public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |