Assertion list
monotreme (primary) → HasProperty

Results from Ascent++: 1
monotremeHasProperty rare 0.25