Package owl.ltl

Class Formula.NaryPropositionalOperator