Documented the addition of answer subsumption to predicate property.
Authored by: tswift 2018-01-30
Parent: [r9209]
Child: [r9211]