inline "cic:/CoRN/model/structures/Nsec/ap_nat_irreflexive0.con".
inline "cic:/CoRN/model/structures/Nsec/ap_nat_symmetric0.con".
inline "cic:/CoRN/model/structures/Nsec/ap_nat_irreflexive0.con".
inline "cic:/CoRN/model/structures/Nsec/ap_nat_symmetric0.con".