Translated version of ACE text "If the customer is a:premium and the product is regular then The discount is a:five-percent. If the customer is a:premium and the product is a:luxury then The discount is a:seven-and-a-half-percent. If the customer's a:previous-year n:spending is at least 5000 n:euro then A customer is a:premium. A n:Porsche is a:luxury. A n:Honda is regular. p:Peter-Miller's a:previous-year n:spending is at least 5000 n:euro." A B C D E F G H I J named A 'Peter-Miller' object A atomic named_entity person cardinality count_unit eq 1 K L M N O P property K premium predicate L state be M K object M atomic customer person cardinality count_unit eq 1 property N regular predicate O state be P N object P atomic product object cardinality count_unit eq 1 Q R S property Q 'five-percent' predicate R state be S Q object S atomic discount object cardinality count_unit eq 1 T U V W X Y property T premium predicate U state be V T object V atomic customer person cardinality count_unit eq 1 property W luxury predicate X state be Y W object Y atomic product object cardinality count_unit eq 1 Z A1 B1 property Z 'seven-and-a-half-percent' predicate A1 state be B1 Z object B1 atomic discount object cardinality count_unit eq 1 C1 D1 E1 F1 object C1 group euro unspecified cardinality count_unit geq 5000 predicate D1 state be F1 C1 object E1 atomic customer person cardinality count_unit eq 1 property F1 'previous-year' object F1 atomic spending unspecified cardinality count_unit eq 1 relation F1 spending of E1 G1 H1 I1 object G1 atomic customer person cardinality count_unit eq 1 property H1 premium predicate I1 state be G1 H1 object B atomic 'Porsche' unspecified cardinality count_unit eq 1 property C luxury predicate D state be B C object E atomic 'Honda' unspecified cardinality count_unit eq 1 property F regular predicate G state be E F object H group euro unspecified cardinality count_unit geq 5000 predicate I state be J H property J 'previous-year' object J atomic spending unspecified cardinality count_unit eq 1 relation J spending of A