This domain is about finite element methods in engineering. The task
is to predict how many elements should be used to model each edge of a
structure [4]. The target predicate is mesh(Edge,Number) where the
Number of elements in the Mesh model can vary between 1 and
17. Each edge is described by three multivalued properties type(Edge,Type), support(Edge,Support) and load(Edge,Load).
Three structural predicates neighbour_xy_r(E1,E2),
neighbour_yz_r(E1,E2) and neighbour_zx_r(E1,E2)
provide the functional representation of neighbour(E1,E2)
which is necessary to define multivalued features.
Structural predicates opposite_r(E1,E2) and equal_r(E1,E2)
are also a functional representation of other topological relations.
The accuracy achieved by 1BC is 61.9% considering properties of the edge only, and 66.2% when considering features of the surrounding edges. This is lower than Golem's accuracy of 84.9% [4] but it shows an improvement of the accuracy when topological properties are used. This is confirmed on the next domain.