Assertion list for term "be a property of propositions".

Results from Ascent++: 1
truth CapableOfbe a property of propositions 0.49