FOL-based Approach for Improving Legal-GRL Modeling Framework – A Case for Requirements Engineering of Legal Regulations of Social Media