Title: Logical patterns in trial and pleading