network unknown {
}
variable ToAcquireGPSsignal {
  type discrete [ 3 ] { Accurate, Acceptable, Inaccurate };
}
variable ToCheckAircraftPositionExecutingRNPProcedure {
  type discrete [ 3 ] { Accurate, Acceptable, Inaccurate };
}
variable ToKeepAircraftOnProgrammedRoute {
  type discrete [ 3 ] { Accurate, Acceptable, Inaccurate };
}
variable ToShowAircraftPositionBasedOnGPSSignal {
  type discrete [ 3 ] { Accurate, Acceptable, Inaccurate };
}
probability ( ToAcquireGPSsignal ) {
  table 0.85, 0.10, 0.05;
}
probability ( ToCheckAircraftPositionExecutingRNPProcedure ) {
  table 0.85, 0.12, 0.03;
}
probability ( ToKeepAircraftOnProgrammedRoute | ToCheckAircraftPositionExecutingRNPProcedure, ToShowAircraftPositionBasedOnGPSSignal ) {
  (Accurate, Accurate) 0.90, 0.07, 0.03;
  (Acceptable, Accurate) 0.85, 0.10, 0.05;
  (Inaccurate, Accurate) 0.75, 0.20, 0.05;
  (Accurate, Acceptable) 0.80, 0.15, 0.05;
  (Acceptable, Acceptable) 0.75, 0.20, 0.05;
  (Inaccurate, Acceptable) 0.65, 0.30, 0.05;
  (Accurate, Inaccurate) 0.7, 0.2, 0.1;
  (Acceptable, Inaccurate) 0.6, 0.3, 0.1;
  (Inaccurate, Inaccurate) 0.03, 0.07, 0.90;
}
probability ( ToShowAircraftPositionBasedOnGPSSignal | ToAcquireGPSsignal ) {
  (Accurate) 0.95, 0.04, 0.01;
  (Acceptable) 0.04, 0.95, 0.01;
  (Inaccurate) 0.01, 0.04, 0.95;
}
