Assertion list
false doctrine (subgroup of doctrine ) → ReceivesAction
Results from Ascent++: 1
false doctrine → ReceivesAction → taught 0.65