Properties in AIPL