predicate-logic | AgentArea Skills