Assertion list
real estate contract (subgroup of contract ) → HasPrerequisite
Results from Ascent++: 1
real estate contract → HasPrerequisite → the seller 0.35