Assertion list
mailbox (primary) → HasProperty
Results from Ascent++: 6
mailbox → HasProperty → full 0.59
mailbox → HasProperty → empty 0.51
mailbox → HasProperty → large 0.39
mailbox → HasProperty → smaller 0.25
mailbox → HasProperty → old 0.16
mailbox → HasProperty → shiny 0.16