ass:

((*isc* a (all r *top*)) 1)

((*isc* a (all r (or a (not a)))) 0.5)

((*isc* a d) 0.6)

((*isc* a (csome r c)) 0.7)

((*isc* a (csome r (and c d))) 0.7)

((*isc* a (csome r (and c d e))) 0.7)

((*isc* a b) 0.6)

((*isc* s (csome ous (and green (csome ou (not green))))) 0.4)

((*isc* i1 (csome about car)) 0.6)

((*isc* i2 (csome about car)) 0.8)

KB:
 
(((*isc* a c) 0.6) ((*isc* a (or d (not c))) 0.7))

(((*isr* (a b) r) 0.7) ((*isc* a (all r c)) 0.8))

(((*isc* a (csome r c)) 0.7) ((*isc* a (all r d)) 0.8))

(((*isc* a (csome r c)) 0.7) ((*isc* a (all r d)) 0.8) ((*isc* a (all r e)) 0.8) ((*isc* a (csome r f)) 0.7))

(((*isc* a A) 0.7) ((*isc* a (not C)) 0.7))

(((*isc* a (csome r c)) 0.7) ((*isc* a (all r *bot*)) 0.6))

(((*isr* (s a) ous) 0.7) ((*isr* (s b) ous) 0.7) ((*isr* (s c) ou) 0.7) ((*isr* (a b) ou) 0.7) ((*isr* (b c) ou) 0.7) ((*isc* a green) 0.6)  ((*isc* c (not green)) 0.6))           

(((*isr* (i1 c1) about) 0.6) ((*isr* (i2 c2) about) 0.8) ((*isc* c1 Ferrari) 1) ((*isc* c2 Porsche) 1) ((*axm* (if Ferrari car))) ((*axm* (if Porsche car))))

(((*axm* (onlyif a b))) ((*axm* (onlyif a c))) ((*isc* a b) 0.4) ((*isc* a c) 0.3))

(((*axm* (onlyif a b))) ((*axm* (onlyif a (and d e)))) ((*axm* (if c d))) ((*isc* a b) 0.2) ((*isc* a c) 0.3) ((*isc* a e) 0.5))

Axioms:

((*axm* (iff a (csome r c))))

((*axm* (if a b)))

((*axm* (if a c)))



((*axm* (onlyif a (not b))))


AX-query:

((*isc* b c) 0.6)

((*isr* (a b) r) 0.7)

((*isc* a A) 0.6)

((*isc* a b) 0.7)

((*isc* a (and b c)) 0.4)



