Sub-ticket of TERRA-152 DB authorization harness: four holders armed, 10 of 12 predicates have a refuse arm distinguishable from their own did-not-fire arm - the satisfied branch ran twice and an exercised refuse arm is not coverage · terra