jonnybest

# Shards

6  Shard of Bravery (Fire)
4  Shard of Divinity (Light)
3  Shard of Focus (Gravity)
1  Shard of Freedom
4  Shard of Gratitude
4  Shard of Integrity
2  Shard of Patience
4  Shard of Readiness

jonnybest

public void checkAction() {
		
		String text = "The penguin jumps once.";
		edu.stanford.nlp.pipeline.Annotation annotationDocument = new edu.stanford.nlp.pipeline.Annotation(text);
		
		edu.stanford.nlp.pipeline.StanfordCoreNLP classificationsPipeline;
		// creates a StanfordCoreNLP object, with POS tagging,
		// lemmatization,
		// NER, parsing, and coreference resolution
		Properties pipelineConfiguration = new Properties();

jonnybest

	/** Fetches a website from the given URL.
	 * 
	 * @param targetURL
	 * @return the website as a string
	 * @throws IOException
	 */
	public static String executeGet(String targetURL) throws IOException {
		URL url;
		HttpURLConnection connection = null;

jonnybest

frog                    A frog sits left of the Brokkoli facing it.
piece                 	A piece of Brokkoli is in front of him.
plate                 	A plate is on the table
rabbit                	A rabbit is sitting behind the broccoli.
Alice                 	Alice is facing away from the bunny.
alien                 	At the right side of the scene in the background is an alien.
bulb                  	At the start of the scene, on the left is a light bulb which is off.
astronaut             	At the start the astronaut is facing to the front of the screen and the monster on wheels is positioned towards the back of the screen.
metal bucket          	Behind it to the left is a metal bucket. 
duckling              	Behind it to the right is a yellow duckling wearing red socks, a crown and a scepter.

jonnybest

.checkbox-button { 

border-bottom-color: rgba(255, 255, 255, 0.298039);
border-bottom-left-radius: 16px;
border-bottom-right-radius: 16px;
border-left-color: rgba(255, 255, 255, 0.298039);
border-right-color: rgba(255, 255, 255, 0.298039);
border-top-color: rgba(255, 255, 255, 0.298039);
border-top-left-radius: 16px;
border-top-right-radius: 16px;

jonnybest

(set-option :produce-proofs true)
(declare-const a Int)
(assert (and (> a 3) (< a 2)))
(check-sat)
(get-proof)

jonnybest

test

+-----------+------------+---------------------+---------------+

test	test	test	test
test	6		test
+-----------+------------+---------------------+---------------+

jonnybest

(set-option :macro-finder true)
(set-option :ematching true)
(set-option :mbqi false)
;; sorts
(declare-sort Atom)
(declare-sort Rel1)
(declare-sort Rel2)
(declare-sort Rel3)
;; --end sorts

jonnybest

(set-logic AUFLIA)
(set-option :macro-finder true)
;; sorts
(declare-sort Atom)
(declare-sort Rel1)
(declare-sort Rel2)
(declare-sort Rel3)
(declare-sort Rel4)
(declare-sort Rel5)
;; --end sorts

jonnybest

sig A {}

sig B {
	fn : A -> lone B
}

fact {
	no (A ->fn->A)
}