Assertion list
platypus (primary) → HasA
Results from Ascent++: 2
platypus → HasA → duck 0.44
platypus → HasA → fur 0.41