Assertion list
right (aspect of contractor ) → CreatedBy
Results from Ascent++: 1
right → CreatedBy → statute 0.25