Assertion list for term "reflect current status of entry".

Results from Ascent++: 1
certificate CapableOfreflect current status of entry 0.36