Uses of Interface
jason.asSyntax.LogicalFormula