Assertion list
right (aspect of citizen ) → CreatedBy
Results from Ascent++: 1
right → CreatedBy → the state 0.25