Assertion list
male mouse (subgroup of mouse ) → UsedFor

Results from Ascent++: 1
male mouseUsedFor experiment 0.81