Assertion list
license (aspect of contractor ) → AtLocation
Results from Ascent++: 3
license → AtLocation → effect 0.46
license → AtLocation → the name 0.43
license → AtLocation → stake 0.31