2. The method of claim 1 , wherein the determining the validity includes inputting the at least one first order logic formula construct to at least one general purpose prover and receiving output from the at least one general purpose prover based on the at least one first order logic formula construct.
8. The method of claim 2 , wherein the inputting of the at least one first order logic formula construct to at least one general purpose prover includes inputting the at least one first order logic formula construct in pieces and determining the validity from an aggregate output based on the pieces.