Property definitions

nitc $ CardLinearizationDef :: defaultinit