!7 concept Line { S line; bool trigger; // means that line can be inferred } cmodule LinesWithTriggers > DynCRUD { }