 {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).

{3,3} l1_embed(X) :- {3,3} atom_type(X), {3,3} atom_type(Y), {3,1} bond(X,Y,B), {3,3} bond_type(B).
{3,3} l2_embed(X) :- {3,3} l1_embed(X), {3,3} l1_embed(Y), {3,1} bond(X,Y,B), {3,3} bond_type(B).
{3,3} l3_embed(X) :- {3,3} l2_embed(X), {3,3} l2_embed(Y), {3,1} bond(X,Y,B), {3,3} bond_type(B).

{1,3} predict :- {3,3} l3_embed(X).