ppvPlanetGivenDetection(rare_wide_orbit, 0.090163934426229442).
ppvPlanetGivenDetection(mstar_short_period, 0.96116504854368934).
ppvPlanetGivenDetection(common_hot_neptune_good, 0.91346153846153844).
ppvPlanetGivenDetection(common_hot_neptune_low_spec, 0.76000000000000001).
confirmsInWorld(mstar_short_period, w0).
confirmsInWorld(common_hot_neptune_good, w0).
confirmsInWorld(rare_wide_orbit, w1).
confirmsInWorld(mstar_short_period, w1).
confirmsInWorld(common_hot_neptune_good, w1).
confirmsInWorld(common_hot_neptune_low_spec, w1).
confirmsInWorld(mstar_short_period, w2).
confirmsInWorld(common_hot_neptune_good, w2).
confirmsInWorld(mstar_short_period, w3).
rejectsInWorld(rare_wide_orbit, w0).
rejectsInWorld(common_hot_neptune_low_spec, w0).
rejectsInWorld(rare_wide_orbit, w2).
rejectsInWorld(common_hot_neptune_low_spec, w2).
rejectsInWorld(rare_wide_orbit, w3).
rejectsInWorld(common_hot_neptune_good, w3).
rejectsInWorld(common_hot_neptune_low_spec, w3).
status(exoplanet_validation_worlds, expected_world_pattern).
reason(exoplanet_validation_worlds, "Bayesian worlds account for occurrence and false positives while the naive world trusts sensitivity alone").