Assertion list for term "be a declaration of fact".

Results from Ascent++: 1
certificate CapableOfbe a declaration of fact 0.41