All properties in AHOL