{ public TrashedClause(ClauseType_Bool t, bool v) : base("trashed", t, v) { }
{ public StarredClause(ClauseType_Bool t, bool v) : base("starred", t, v) { }
{ public SharedWithMeClause(ClauseType_Bool t, bool v) : base("sharedWithMe", t, v) { }