#!/bin/sh

MODEL_FILE=model.txt

clingo shopping.lp efec.lp | head -n 2 | tail -n 1 | sed -e "s/\ /.\n/g" | sort > $MODEL_FILE

# TEMPLATES:
# 	grep "knowsValueIsNot((.\,AGENT_TIME)\,FLUENT\,NARRATIVE_TIME\,VALUE)" $MODEL_FILE
# 	grep "knowsValueIs((.\,AGENT_TIME)\,FLUENT\,NARRATIVE_TIME\,VALUE)" $MODEL_FILE
# 	grep "knowsValue((.\,AGENT_TIME)\,FLUENT\,NARRATIVE_TIME)" $MODEL_FILE
# 	grep "knowsHappens((.\,AGENT_TIME)\,ACTION\,NARRATIVE_TIME)" $MODEL_FILE
# 	grep "knowsNotHappens((.\,AGENT_TIME)\,ACTION\,NARRATIVE_TIME)" $MODEL_FILE
# 	grep "knowsIfHappens((.\,AGENT_TIME)\,ACTION\,NARRATIVE_TIME)" $MODEL_FILE

echo "1."
grep "knowsValueIsNot((.\,0)\,bought\,0\,true)" $MODEL_FILE
echo "2."
grep "knowsValueIsNot((.\,0)\,collected\,0\,true)" $MODEL_FILE
echo "3."
grep "knowsValueIsNot((.\,0)\,bought\,2\,false)" $MODEL_FILE
echo "4."
grep "knowsValueIsNot((.\,0)\,collected\,4\,false)" $MODEL_FILE
echo "5."
grep "knowsValueIsNot((.\,0)\,collectionPoint\,0\,red)" $MODEL_FILE
echo "6."
grep "knowsValueIsNot((.\,0)\,collectionPoint\,0\,blue)" $MODEL_FILE
echo "7."
grep "knowsValueIsNot((.\,0)\,collectionPoint\,0\,green)" $MODEL_FILE
echo "8."
grep "knowsValueIsNot((.\,0)\,collectionPoint\,3\,red)" $MODEL_FILE
echo "9."
grep "knowsValueIsNot((.\,0)\,collectionPoint\,3\,blue)" $MODEL_FILE
echo "10."
grep "knowsValueIsNot((.\,0)\,collectionPoint\,3\,green)" $MODEL_FILE
echo "11."
grep "knowsValueIsNot((.\,3)\,collectionPoint\,0\,red)" $MODEL_FILE
echo "12."
grep "knowsValueIsNot((.\,3)\,collectionPoint\,0\,blue)" $MODEL_FILE
echo "13."
grep "knowsValueIsNot((.\,3)\,collectionPoint\,0\,green)" $MODEL_FILE
echo "14."
grep "knowsValueIsNot((.\,3)\,collectionPoint\,3\,red)" $MODEL_FILE
echo "15."
grep "knowsValueIsNot((.\,3)\,collectionPoint\,3\,red)" $MODEL_FILE
echo "16."
grep "knowsValueIsNot((.\,3)\,collectionPoint\,3\,blue)" $MODEL_FILE
echo "17."
grep "knowsValueIsNot((.\,3)\,collectionPoint\,3\,blue)" $MODEL_FILE
echo "18."
grep "knowsValueIsNot((.\,3)\,collectionPoint\,3\,green)" $MODEL_FILE
echo "19."
grep "knowsValueIsNot((.\,3)\,collectionPoint\,3\,green)" $MODEL_FILE
echo "20."
grep "knowsValueIs((.\,0)\,bought\,0\,false)" $MODEL_FILE
echo "21."
grep "knowsValueIs((.\,0)\,collected\,0\,false)" $MODEL_FILE
echo "22."
grep "knowsValueIs((.\,0)\,bought\,2\,true)" $MODEL_FILE
echo "23."
grep "knowsValueIs((.\,0)\,collected\,4\,true)" $MODEL_FILE
echo "24."
grep "knowsValueIs((.\,0)\,collectionPoint\,0\,red)" $MODEL_FILE
echo "25."
grep "knowsValueIs((.\,0)\,collectionPoint\,0\,blue)" $MODEL_FILE
echo "26."
grep "knowsValueIs((.\,0)\,collectionPoint\,0\,green)" $MODEL_FILE
echo "27."
grep "knowsValueIs((.\,0)\,collectionPoint\,3\,red)" $MODEL_FILE
echo "28."
grep "knowsValueIs((.\,0)\,collectionPoint\,3\,blue)" $MODEL_FILE
echo "29."
grep "knowsValueIs((.\,0)\,collectionPoint\,3\,green)" $MODEL_FILE
echo "30."
grep "knowsValueIs((.\,3)\,collectionPoint\,0\,red)" $MODEL_FILE
echo "31."
grep "knowsValueIs((.\,3)\,collectionPoint\,0\,blue)" $MODEL_FILE
echo "32."
grep "knowsValueIs((.\,3)\,collectionPoint\,0\,green)" $MODEL_FILE
echo "33."
grep "knowsValueIs((.\,3)\,collectionPoint\,3\,red)" $MODEL_FILE
echo "34."
grep "knowsValueIs((.\,3)\,collectionPoint\,3\,red)" $MODEL_FILE
echo "35."
grep "knowsValueIs((.\,3)\,collectionPoint\,3\,blue)" $MODEL_FILE
echo "36."
grep "knowsValueIs((.\,3)\,collectionPoint\,3\,blue)" $MODEL_FILE
echo "37."
grep "knowsValueIs((.\,3)\,collectionPoint\,3\,green)" $MODEL_FILE
echo "38."
grep "knowsValueIs((.\,3)\,collectionPoint\,3\,green)" $MODEL_FILE
echo "39."
grep "knowsValue((.\,0)\,bought\,0)" $MODEL_FILE
echo "40."
grep "knowsValue((.\,0)\,collected\,0)" $MODEL_FILE
echo "41."
grep "knowsValue((.\,0)\,bought\,2)" $MODEL_FILE
echo "42."
grep "knowsValue((.\,0)\,collected\,4)" $MODEL_FILE
echo "43."
grep "knowsValue((.\,0)\,collectionPoint\,0)" $MODEL_FILE
echo "44."
grep "knowsValue((.\,0)\,collectionPoint\,3)" $MODEL_FILE
echo "45."
grep "knowsValue((.\,3)\,collectionPoint\,0)" $MODEL_FILE
echo "46."
grep "knowsValue((.\,3)\,collectionPoint\,3)" $MODEL_FILE
echo "47."
grep "knowsHappens((.\,0)\,purchase\,1)" $MODEL_FILE
echo "48."
grep "knowsHappens((.\,0)\,sense(collectionPoint)\,2)" $MODEL_FILE
echo "49."
grep "knowsHappens((.\,0)\,collectFromRed\,3)" $MODEL_FILE
echo "50."
grep "knowsHappens((.\,0)\,collectFromBlue\,3)" $MODEL_FILE
echo "51."
grep "knowsHappens((.\,0)\,collectFromGreen\,3)" $MODEL_FILE
echo "52."
grep "knowsHappens((.\,0)\,giveFreeGift\,3)" $MODEL_FILE
echo "53."
grep "knowsHappens((.\,3)\,purchase\,1)" $MODEL_FILE
echo "54."
grep "knowsHappens((.\,3)\,sense(collectionPoint)\,2)" $MODEL_FILE
echo "55."
grep "knowsHappens((.\,3)\,collectFromRed\,3)" $MODEL_FILE
echo "56."
grep "knowsHappens((.\,3)\,collectFromRed\,3)" $MODEL_FILE
echo "57."
grep "knowsHappens((.\,3)\,collectFromBlue\,3)" $MODEL_FILE
echo "58."
grep "knowsHappens((.\,3)\,collectFromBlue\,3)" $MODEL_FILE
echo "59."
grep "knowsHappens((.\,3)\,collectFromGreen\,3)" $MODEL_FILE
echo "60."
grep "knowsHappens((.\,3)\,collectFromGreen\,3)" $MODEL_FILE
echo "61."
grep "knowsHappens((.\,3)\,giveFreeGift\,3)" $MODEL_FILE
echo "62."
grep "knowsHappens((.\,3)\,giveFreeGift\,3)" $MODEL_FILE
echo "63."
grep "knowsNotHappens((.\,0)\,purchase\,4)" $MODEL_FILE
echo "64."
grep "knowsNotHappens((.\,0)\,purchase\,1)" $MODEL_FILE
echo "65."
grep "knowsNotHappens((.\,0)\,collectFromRed\,3)" $MODEL_FILE
echo "66."
grep "knowsNotHappens((.\,0)\,collectFromBlue\,3)" $MODEL_FILE
echo "67."
grep "knowsNotHappens((.\,0)\,collectFromGreen\,3)" $MODEL_FILE
echo "68."
grep "knowsNotHappens((.\,0)\,giveFreeGift\,3)" $MODEL_FILE
echo "69."
grep "knowsNotHappens((.\,3)\,purchase\,1)" $MODEL_FILE
echo "70."
grep "knowsNotHappens((.\,3)\,sense(collectionPoint)\,2)" $MODEL_FILE
echo "71."
grep "knowsNotHappens((.\,3)\,collectFromRed\,3)" $MODEL_FILE
echo "72."
grep "knowsNotHappens((.\,3)\,collectFromRed\,3)" $MODEL_FILE
echo "73."
grep "knowsNotHappens((.\,3)\,collectFromBlue\,3)" $MODEL_FILE
echo "74."
grep "knowsNotHappens((.\,3)\,collectFromBlue\,3)" $MODEL_FILE
echo "75."
grep "knowsNotHappens((.\,3)\,collectFromGreen\,3)" $MODEL_FILE
echo "76."
grep "knowsNotHappens((.\,3)\,collectFromGreen\,3)" $MODEL_FILE
echo "77."
grep "knowsNotHappens((.\,3)\,giveFreeGift\,3)" $MODEL_FILE
echo "78."
grep "knowsNotHappens((.\,3)\,giveFreeGift\,3)" $MODEL_FILE
echo "79."
grep "knowsIfHappens((.\,0)\,purchase\,4)" $MODEL_FILE
echo "80."
grep "knowsIfHappens((.\,0)\,purchase\,1)" $MODEL_FILE
echo "81."
grep "knowsIfHappens((.\,0)\,collectFromRed\,3)" $MODEL_FILE
echo "82."
grep "knowsIfHappens((.\,0)\,collectFromBlue\,3)" $MODEL_FILE
echo "83."
grep "knowsIfHappens((.\,0)\,collectFromGreen\,3)" $MODEL_FILE
echo "84."
grep "knowsIfHappens((.\,0)\,giveFreeGift\,3)" $MODEL_FILE
echo "85."
grep "knowsIfHappens((.\,3)\,collectFromRed\,3)" $MODEL_FILE
echo "86."
grep "knowsIfHappens((.\,3)\,collectFromBlue\,3)" $MODEL_FILE
echo "87."
grep "knowsIfHappens((.\,3)\,collectFromGreen\,3)" $MODEL_FILE
echo "88."
grep "knowsIfHappens((.\,3)\,giveFreeGift\,3)" $MODEL_FILE