dfs_semantics.pl -- DFS semantics

Interpretation of (sub-)propositional meaning as a set of points in DFS space.

 dfs_semantics(+Formula, +ModelSet, -Interpretation) is semidet

Derives an Interpretation (a set of points in DFS space) for Formula given ModelSet.

 dfs_entailments(+Interpretation, +ModelSet, -Entailments) is semidet

Entailments is a set of (Element,AtomicProps) tuples, such that each AtomicProps is a list of atomic propositions entailed by the corresponding Element in Interpretation.

 dfs_coordinates(+Interpretation, -Coordinates) is semidet

Coordinates designates the point in space in between the elements of Interpretation.