Our Fragment by CRIS_Axiomatic