Assertion list
obligatory hajj (subgroup of hajj ) → ReceivesAction
Results from Ascent++: 1
obligatory hajj → ReceivesAction → performed 0.81