guarded fragment, satisfiability problem, transitive relations, triguarded fragment, two-variable fragment.
