Text this: Splitting a Disjunctive Logic Program.