axs_fundation.con.types.xml
axs_vide_or_not.con.types.xml
lem_inter_is_empty.con.body.xml
lem_inter_is_empty.con.types.xml
lem_sing_not_empty.con.body.xml
lem_sing_not_empty.con.types.xml
lem_x_not_in_x.con.body.xml
lem_x_not_in_x.con.types.xml