with Systems; use Systems;

package applicability_constraint is

   Context : System;

end applicability_constraint;