Assertion list
insurance (aspect of contractor ) → AtLocation
Results from Ascent++: 1
insurance → AtLocation → force 0.63