Built-in Rules

Besides user-defined rules as described above, Flora also has built-in rules for ontological reasoning, based on class axioms. For example, given the statements:

Man :: Person.
Greg : Man.

the query

?x : Person.

will include

?x = Greg

as one of the solutions, because Flora has built-in rules that define how sub-classing works.