be a root ~ 23_ISA_11_10 ~ be a root ~ 45_ROM_15_12 ~
 be a root of ~ 23_ISA_11_10 ~ be a root of ~ 45_ROM_15_12 ~
 shall be a root ~ 23_ISA_11_10 ~ shall be a root ~ 45_ROM_15_12 ~