Cover a few more rules (up to LChoice)
Reductions for one and first
reductions for First
type the semantic component holding strategy definitions
enable reduction rules to collect the strategy definitions