 {3,1} atom_type(A) :- atomic17(A).
 {3,1} atom_type(A) :- atomic35(A).
 {3,1} atom_type(A) :- atomic53(A).
 {3,1} atom_type(A) :- atomic6(A).
 {3,1} atom_type(A) :- atomic7(A).
 {3,1} atom_type(A) :- atomic8(A).
 {3,1} atom_type(A) :- atomic9(A).
 {3,1} bond_type(B) :- bondic1(B).
 {3,1} bond_type(B) :- bondic2(B).
 {3,1} bond_type(B) :- bondic3(B).

{1,243} predict :- atom_type(A), bond(A,B,X), bond_type(X), atom_type(B), bond(B,C,Y), bond_type(Y), atom_type(C), <-7>.  [activation=crossproduct-sigmoid]