add %block def. world subsumption failure