Assertion list
bomb (primary) → HasA
Results from Ascent++: 6
bomb → HasA → timer 0.48
bomb → HasA → petn 0.34
bomb → HasA → uranium 0.34
bomb → HasA → detonator 0.33
bomb → HasA → fuse 0.27
bomb → HasA → radioactive material 0.16