Assertion list
copyright (primary) → HasA
Results from Ascent++: 5
copyright → HasA → value 0.32
copyright → HasA → limited duration 0.31
copyright → HasA → trojan 0.26
copyright → HasA → necessary connection 0.25
copyright → HasA → two main objectives 0.25