only accept one rule as a solution, we select the first one. Do not allow groundings 999258b LukasHug commited on 27 days ago