p(X) <prod q(X,Y) &godel r(Y) with info(0.9,as1RULE1_).
q(a,Y) <prod s(Y) with info(0.7,as1RULE2_).
q(b,Y) <luka r(Y) with info(0.8,as1RULE3_).
r(_) with info(0.7,as2FACT4_).
s(b) with info(0.9,as2FACT5_).