(motive : Aesop.RuleSetNameFilter × Aesop.RuleFilter → Sort u_1) →
  (x : Aesop.RuleSetNameFilter × Aesop.RuleFilter) →
    ((rsFilter : Aesop.RuleSetNameFilter) → (rFilter : Aesop.RuleFilter) → motive (rsFilter, rFilter)) → motive x