this is already defined in /external/sepolicy/property.te